Package | Description |
---|---|
gov.nasa.jpf.util |
Modifier and Type | Class and Description |
---|---|
class |
ConstGrowth |
class |
ExpGrowth |
Modifier and Type | Field and Description |
---|---|
static Growth |
Growth.defaultGrowth |
protected Growth |
Permutation.growth
growth strategy.
|
protected Growth |
IntVector.growth
growth strategy.
|
protected Growth |
LongVector.growth
growth strategy.
|
protected Growth |
ObjVector.growth
growth strategy.
|
Constructor and Description |
---|
DynamicIntArray(Growth strategy,
int chunkBits,
int initChunks) |
DynamicObjectArray(Growth strategy,
int chunkBits,
int initChunks) |
IntVector(Growth initGrowth) |
IntVector(Growth initGrowth,
int initCap) |
LongVector(Growth initGrowth) |
LongVector(Growth initGrowth,
int initCap) |
ObjVector(Growth initGrowth) |
ObjVector(Growth initGrowth,
int initCap) |
Permutation(Growth initGrowth) |
Permutation(Growth initGrowth,
int initCap) |