Uses of Class
kodkod.instance.Tuple

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.