Uses of Class
kodkod.instance.TupleFactory

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.