Uses of Class
kodkod.util.ints.AbstractIntSet

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

Uses of AbstractIntSet in kodkod.util.ints
 

Subclasses of AbstractIntSet in kodkod.util.ints
 class ArrayIntSet
          An immutable set of integers, stored in a sorted array.
 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.