Uses of Class
kodkod.util.ints.AbstractIntCollection

Packages that use AbstractIntCollection
kodkod.util.ints Provides implementations of ordered collections for storing integer primitives. 
 

Uses of AbstractIntCollection in kodkod.util.ints
 

Subclasses of AbstractIntCollection in kodkod.util.ints
 class AbstractIntSet
          A skeletal implementation of the IntSet interface.
 class AbstractIntVector
          A skeletal implementation of the IntVector interface.
 class ArrayIntSet
          An immutable set of integers, stored in a sorted array.
 class ArrayIntVector
          A mutable implementation of the IntVector interface.
 class IntBitSet
          An implementation of the IntSet interface based on a bit map.
 class IntTreeSet
          An implementation of the IntTreeSet interface based on a balanced binary search tree.