public class TupleType
extends java.lang.Object
| Constructor and Description |
|---|
TupleType(Type[] types,
boolean isSingleton) |
| 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() |
public TupleType(Type[] types, boolean isSingleton)
public int getArity()
public boolean isSingleton()
public boolean mustBeSingleton()
public int[] decodeTuple(Tuple tuple,
TupleSet tupleSet)
public TupleSet createAllTuples(Universe universe)
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.TupleSet, never nullpublic TupleSet createTupleSet(Universe universe,
java.util.Collection<int[]> numTuples)
TupleSet by specifying a collection of tuplesnumTuples - 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 typeTupleSet, never nullpublic boolean formulaOneShouldBeAdded()
public java.lang.String toString()
toString in class java.lang.Object