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