Uses of Package
kodkod.util.ints

Packages that use kodkod.util.ints
kodkod.engine.bool Provides classes for constructing and composing boolean matrices, boolean circuits, and boolean representations of integers. 
kodkod.engine.config Provides a mechanism for configuring the kodkod engine and for passing messages between the engine and the client. 
kodkod.engine.fol2sat Provides a facade for translating, evaluating, and approximating Kodkod formulas, expressions, and int expressions with respect to a given Bounds (or Instance) and Options. 
kodkod.engine.satlab Provides access to various Java and C++ SAT solvers through a common SAT Solver interface. 
kodkod.engine.ucore Contains strategies for minimizing unsatisfiable cores generated by SAT provers. 
kodkod.instance Contains classes for creating tuples, sets of tuples, bounds, and instances drawn from a finite universe of uninterpreted atoms. 
kodkod.util.ints Provides implementations of ordered collections for storing integer primitives. 
 

Classes in kodkod.util.ints used by kodkod.engine.bool
IndexedEntry
          An entry in a sparse sequence.
IntSet
          An ordered set of integers.
 

Classes in kodkod.util.ints used by kodkod.engine.config
IntRange
          Represents a range of integers, [min..max].
 

Classes in kodkod.util.ints used by kodkod.engine.fol2sat
IntSet
          An ordered set of integers.
 

Classes in kodkod.util.ints used by kodkod.engine.satlab
IntIterator
          An iterator over integer primitives.
IntSet
          An ordered set of integers.
 

Classes in kodkod.util.ints used by kodkod.engine.ucore
IntSet
          An ordered set of integers.
 

Classes in kodkod.util.ints used by kodkod.instance
IntSet
          An ordered set of integers.
SparseSequence
          Represents a sparse sequence -- a sequence whose indices are not necessarily contiguous.
 

Classes in kodkod.util.ints used by kodkod.util.ints
AbstractIntCollection
          A skeletal implementation of the IntCollection interface.
AbstractIntSet
          A skeletal implementation of the IntSet interface.
AbstractIntVector
          A skeletal implementation of the IntVector interface.
AbstractSparseSequence
          A skeletal implementation of the SparseSequence interface.
ArraySequence
          An implementation of a sparse sequence based on an array.
HomogenousSequence
          A sparse sequence implementation based on an IntSet.
IndexedEntry
          An entry in a sparse sequence.
IntBitSet
          An implementation of the IntSet interface based on a bit map.
IntCollection
          The root interface in the int collection hierarchy.
IntIterator
          An iterator over integer primitives.
IntRange
          Represents a range of integers, [min..max].
IntSet
          An ordered set of integers.
IntTreeSet
          An implementation of the IntTreeSet interface based on a balanced binary search tree.
IntVector
          A resizable array of integers.
RangeSequence
          A tree-based sparse sequence implementation.
SparseSequence
          Represents a sparse sequence -- a sequence whose indices are not necessarily contiguous.
TreeSequence
          An implementation of a sparse sequence based on a balanced binary search tree.