|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Tuple | |
---|---|
kodkod.instance | Contains classes for creating tuples, sets of tuples, bounds, and instances drawn from a finite universe of uninterpreted atoms. |
Uses of Tuple in kodkod.instance |
---|
Methods in kodkod.instance that return Tuple | |
---|---|
abstract Tuple |
Tuple.product(Tuple tuple)
Returns the cross product of this and the specified tuple. |
Tuple |
TupleFactory.tuple(int arity,
int index)
Returns a tuple with the specified arity whose index in an arity-dimensional space over this.universe is given by the index parameter. |
Tuple |
TupleFactory.tuple(java.util.List<?> atoms)
Returns a tuple that contains the specified sequence of atoms, drawn from this.universe. |
Tuple |
TupleFactory.tuple(java.lang.Object... atoms)
Returns a tuple that contains the specified sequence of atoms, drawn from this.universe. |
Methods in kodkod.instance that return types with arguments of type Tuple | |
---|---|
java.util.Iterator<Tuple> |
TupleSet.iterator()
Returns an iterator over the tuples in this tupleset. |
Methods in kodkod.instance with parameters of type Tuple | |
---|---|
boolean |
TupleSet.add(Tuple t)
Adds the specified tuple to this tupleset. |
TupleSet |
TupleFactory.area(Tuple upperLeft,
Tuple lowerRight)
Returns a tuple set that contains all tuples in the specified area of the n-dimensional space, where n is the arity of the argument tuples. |
abstract Tuple |
Tuple.product(Tuple tuple)
Returns the cross product of this and the specified tuple. |
TupleSet |
TupleFactory.range(Tuple from,
Tuple to)
Returns a tuple set that contains all tuples between from
and to , inclusive. |
TupleSet |
TupleFactory.setOf(Tuple first,
Tuple... rest)
Returns a tuple set consisting of specified tuples. |
TupleSet |
TupleFactory.setOf(Tuple first,
Tuple... rest)
Returns a tuple set consisting of specified tuples. |
Method parameters in kodkod.instance with type arguments of type Tuple | |
---|---|
boolean |
TupleSet.addAll(java.util.Collection<? extends Tuple> c)
Adds all tuples from c to this, if not present, and returns true. |
TupleSet |
TupleFactory.setOf(java.util.Collection<Tuple> tuples)
Returns a tuple set consisting of specified tuples. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |