Contains classes for creating tuples, sets of tuples, bounds, and instances drawn from a finite universe of uninterpreted atoms.

Package Specification

Contains classes for creating {@linkplain kodkod.instance.Tuple tuples}, {@linkplain kodkod.instance.TupleSet sets of tuples}, {@linkplain kodkod.instance.Bounds bounds}, and {@linkplain kodkod.instance.Instance instances} drawn from a finite {@linkplain kodkod.instance.Universe universe} of uninterpreted atoms.

Related Documentation

@see kodkod.instance.Universe @see kodkod.instance.TupleFactory @see kodkod.instance.Bounds @see kodkod.instance.Instance