Uses of Class
kodkod.instance.Universe

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