Package kodkod.instance

Contains classes for creating tuples, sets of tuples, bounds, and instances drawn from a finite universe of uninterpreted atoms.

See: Description

Class Summary

Class	Description
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.

Package kodkod.instance Description

Contains classes for creating tuples, sets of tuples, bounds, and instances drawn from a finite universe of uninterpreted atoms.

Package Specification

Contains classes for creating tuples, sets of tuples, bounds, and instances drawn from a finite universe of uninterpreted atoms.

Related Documentation

See Also:

Universe, TupleFactory, Bounds, Instance