Uses of Interface
kodkod.util.ints.IntVector

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

Uses of IntVector in kodkod.util.ints
 

Classes in kodkod.util.ints that implement IntVector
 class AbstractIntVector
          A skeletal implementation of the IntVector interface.
 class ArrayIntVector
          A mutable implementation of the IntVector interface.
 

Methods in kodkod.util.ints that return IntVector
static IntVector Ints.asIntVector(int[] ints)
          Returns an unmodifiable IntArray backed by the given array of integers.