|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Class Summary | |
---|---|
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. |
Contains classes for creating tuples, sets of tuples, bounds, and instances drawn from a finite universe of uninterpreted atoms.
Contains classes for creating tuples, sets of tuples, bounds, and instances drawn from a finite universe of uninterpreted atoms.
Universe
,
TupleFactory
,
Bounds
,
Instance
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |