Uses of Package
kodkod.instance

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.