kodkod.util.ints
Interfaces 
IndexedEntry
IntCollection
IntIterator
IntSet
IntVector
SparseSequence
Classes 
AbstractIntCollection
AbstractIntSet
AbstractIntVector
AbstractSparseSequence
ArrayIntSet
ArrayIntVector
ArraySequence
HomogenousSequence
IntBitSet
IntRange
Ints
IntTreeSet
RangeSequence
TreeSequence