de.stups.probkodkod.types

Class TupleType

java.lang.Object

de.stups.probkodkod.types.TupleType

public class TupleType
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
TupleType(Type[] types, boolean isSingleton)

Method Summary

Methods

Modifier and Type	Method and Description
TupleSet	createAllTuples(Universe universe) Create a TupleSet by specifying a range for each position of the tuple.
TupleSet	createTupleSet(Universe universe, java.util.Collection<int[]> numTuples) Create a TupleSet by specifying a collection of tuples
static TupleType	createTypeRelation(Type type)
int[]	decodeTuple(Tuple tuple, TupleSet tupleSet)
boolean	formulaOneShouldBeAdded() This method states if for a relation R of this type a formula one(R) should be added to the problem.
int	getArity()
boolean	isSingleton()
boolean	mustBeSingleton()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

TupleType

public TupleType(Type[] types,
         boolean isSingleton)

Method Detail

createTypeRelation

public static TupleType createTypeRelation(Type type)

getArity

public int getArity()

isSingleton

public boolean isSingleton()

mustBeSingleton

public boolean mustBeSingleton()

decodeTuple

public int[] decodeTuple(Tuple tuple,
                TupleSet tupleSet)

createAllTuples

public TupleSet createAllTuples(Universe universe)

Create a TupleSet by specifying a range for each position of the tuple. See the documentation of this class. Both parameters should have the same length, the arity of the relation.

Returns:

a TupleSet, never null

createTupleSet

public TupleSet createTupleSet(Universe universe,
                      java.util.Collection<int[]> numTuples)

Create a TupleSet by specifying a collection of tuples

Parameters:

numTuples - a collection of type-specific tuples, never null. Each tuple must not be null and is encoded as an array. The length of the array must be the arity of the type

Returns:

a TupleSet, never null

formulaOneShouldBeAdded

public boolean formulaOneShouldBeAdded()

This method states if for a relation R of this type a formula one(R) should be added to the problem. Three conditions must hold: one(R) should be added for singletons, with one exception: If the value must be a singleton, the we omit the one(R) because a tuple set with an arbitrary number of entries maps to a singleton tuple in the input domain.

Returns:

if one(R) should be added to the problem formula

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object