|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |