|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Universe | |
---|---|
kodkod.instance | Contains classes for creating tuples, sets of tuples, bounds, and instances drawn from a finite universe of uninterpreted atoms. |
Uses of Universe in kodkod.instance |
---|
Methods in kodkod.instance that return Universe | |
---|---|
Universe |
TupleSet.universe()
Returns this.universe. |
Universe |
TupleFactory.universe()
Returns the universe to which this factory belongs. |
abstract Universe |
Tuple.universe()
Returns the universe from which the atoms in this tuple are drawn. |
Universe |
Instance.universe()
Returns the universe from which the tuples in this instance are drawn. |
Universe |
Bounds.universe()
Returns this.universe. |
Constructors in kodkod.instance with parameters of type Universe | |
---|---|
Bounds(Universe universe)
Constructs new Bounds over the given universe. |
|
Instance(Universe universe)
Constructs an empty instance over the given universe |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |