|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use TupleFactory | |
---|---|
kodkod.instance | Contains classes for creating tuples, sets of tuples, bounds, and instances drawn from a finite universe of uninterpreted atoms. |
Uses of TupleFactory in kodkod.instance |
---|
Methods in kodkod.instance that return TupleFactory | |
---|---|
TupleFactory |
Universe.factory()
Returns a TupleFactory that can be used to construct tuples and sets of tuples based on this universe. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |