|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use kodkod.instance | |
---|---|
kodkod.engine | Provides classes for analyzing and evaluating Kodkod ASTs with respect to finite bounds or instances. |
kodkod.engine.config | Provides a mechanism for configuring the kodkod engine and for passing messages between the engine and the client. |
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. |
Classes in kodkod.instance used by kodkod.engine | |
---|---|
Bounds
A Bounds object maps a relation r to two
sets of tuples , rL and rU, which represent the lower and upper
bounds on the set of tuples to which an instance
based on these bounds may map r. |
|
Instance
Represents a model (an instance) of a relational formula, which is a mapping from relations and integers to sets of tuples
drawn from a given universe . |
|
TupleSet
Represents a set of tuples
of a given arity, constructed over a given universe . |
Classes in kodkod.instance used by kodkod.engine.config | |
---|---|
Bounds
A Bounds object maps a relation r to two
sets of tuples , rL and rU, which represent the lower and upper
bounds on the set of tuples to which an instance
based on these bounds may map r. |
Classes in kodkod.instance used by kodkod.engine.fol2sat | |
---|---|
Bounds
A Bounds object maps a relation r to two
sets of tuples , rL and rU, which represent the lower and upper
bounds on the set of tuples to which an instance
based on these bounds may map r. |
|
Instance
Represents a model (an instance) of a relational formula, which is a mapping from relations and integers to sets of tuples
drawn from a given universe . |
|
TupleSet
Represents a set of tuples
of a given arity, constructed over a given universe . |
Classes in kodkod.instance used by kodkod.instance | |
---|---|
Bounds
A Bounds object maps a relation r to two
sets of tuples , rL and rU, which represent the lower and upper
bounds on the set of tuples to which an instance
based on these bounds may map r. |
|
Instance
Represents a model (an instance) of a relational formula, which is a mapping from relations and integers to sets of tuples
drawn from a given universe . |
|
Tuple
Represents a sequence of atoms drawn from a given universe . |
|
TupleFactory
A factory class that facilitates creation of tuples and tuple sets drawn from a given universe. |
|
TupleSet
Represents a set of tuples
of a given arity, constructed over a given universe . |
|
Universe
Represents an ordered set of unique atoms. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |