|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |