Uses of Class
kodkod.instance.TupleSet

Packages that use TupleSet
kodkod.engine Provides classes for analyzing and evaluating Kodkod ASTs with respect to finite bounds or instances. 
kodkod.engine.fol2sat Provides a facade for translating, evaluating, and approximating Kodkod formulas, expressions, and int expressions with respect to a given Bounds (or Instance) and Options. 
kodkod.instance Contains classes for creating tuples, sets of tuples, bounds, and instances drawn from a finite universe of uninterpreted atoms. 
 

Uses of TupleSet in kodkod.engine
 

Methods in kodkod.engine that return TupleSet
 TupleSet Evaluator.evaluate(Expression expression)
          Evaluates the specified expession with respect to the relation-tuple mappings given by this.instance and using this.options.
 

Uses of TupleSet in kodkod.engine.fol2sat
 

Methods in kodkod.engine.fol2sat that return types with arguments of type TupleSet
abstract  java.util.Map<Variable,TupleSet> TranslationRecord.env()
          Returns a map view of this.env.
 

Method parameters in kodkod.engine.fol2sat with type arguments of type TupleSet
 boolean RecordFilter.accept(Node node, int literal, java.util.Map<Variable,TupleSet> env)
          Returns true if the records with the given node, literal, and environment should be returned by iterators produced by the TranslationLog.replay() method.
 

Uses of TupleSet in kodkod.instance
 

Methods in kodkod.instance that return TupleSet
 TupleSet TupleFactory.allOf(int arity)
          Returns a set of all tuples of the given arity, drawn from this.universe.
 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.
 TupleSet TupleSet.clone()
          Returns a deep copy of this tuple set.
 TupleSet Bounds.exactBound(int i)
          Returns the set of tuples representing the given integer.
 TupleSet Bounds.lowerBound(Relation r)
          Returns the set of tuples that r must contain (the lower bound on r's contents).
 TupleSet TupleFactory.noneOf(int arity)
          Returns an initially empty tuple set of the given arity, based on this.universe.
 TupleSet TupleSet.product(TupleSet s)
          Returns a tuple set that is the cross product of this and the specified set.
 TupleSet TupleSet.project(int dimension)
          Projects this TupleSet onto the given dimension.
 TupleSet TupleFactory.range(Tuple from, Tuple to)
          Returns a tuple set that contains all tuples between from and to, inclusive.
 TupleSet TupleFactory.setOf(java.util.Collection<Tuple> tuples)
          Returns a tuple set consisting of specified tuples.
 TupleSet TupleFactory.setOf(int arity, IntSet tupleIndices)
          Returns a set of the given arity that contains all tuples whose indeces are contained in the given int set.
 TupleSet TupleFactory.setOf(java.lang.Object... atoms)
          Returns a set of tuples of arity 1, each of which wraps one of the given objects.
 TupleSet TupleFactory.setOf(Tuple first, Tuple... rest)
          Returns a tuple set consisting of specified tuples.
 TupleSet Instance.tuples(int i)
          Returns the set of tuples assigned to the given integer by this Instance.
 TupleSet Instance.tuples(Relation relation)
          Returns the set of tuples assigned to the given relation by this Instance.
 TupleSet TupleSet.unmodifiableView()
          Returns an unmodifiable view of the this tupleset.
 TupleSet Bounds.upperBound(Relation r)
          Returns the set of tuples that r may contain (the upper bound on r's contents).
 

Methods in kodkod.instance that return types with arguments of type TupleSet
 SparseSequence<TupleSet> Bounds.intBounds()
          Returns a sparse sequence view of this.intBound.
 SparseSequence<TupleSet> Instance.intTuples()
          Returns a sparse sequence view of int<:this.tuples.
 java.util.Map<Relation,TupleSet> Bounds.lowerBounds()
          Returns a map view of this.lowerBound.
 java.util.Map<Relation,TupleSet> Instance.relationTuples()
          Returns a map view of Relation<:this.tuples.
 java.util.Map<Relation,TupleSet> Bounds.upperBounds()
          Returns a map view of this.upperBound.
 

Methods in kodkod.instance with parameters of type TupleSet
 void Instance.add(int i, TupleSet s)
          Maps the given integer to the given tuple set.
 void Instance.add(Relation relation, TupleSet s)
          Maps the given relation to the given tuple set.
 void Bounds.bound(Relation r, TupleSet upper)
          Makes the specified tupleset the upper bound on the contents of the given relation.
 void Bounds.bound(Relation r, TupleSet lower, TupleSet upper)
          Sets the lower and upper bounds for the given relation.
 void Bounds.boundExactly(int i, TupleSet ibound)
          Makes the specified tupleset an exact bound on the relational value that corresponds to the given integer.
 void Bounds.boundExactly(Relation r, TupleSet tuples)
          Sets both the lower and upper bounds of the given relation to the given set of tuples.
 TupleSet TupleSet.product(TupleSet s)
          Returns a tuple set that is the cross product of this and the specified set.