Package | Description |
---|---|
gov.nasa.jpf.search | |
gov.nasa.jpf.util | |
gov.nasa.jpf.vm | |
gov.nasa.jpf.vm.serialize |
Modifier and Type | Field and Description |
---|---|
protected IntVector |
Search.stateDepth
storage to keep track of state depths
|
Modifier and Type | Field and Description |
---|---|
protected IntVector |
Permutation.inverse
the size of the inverse vector == next range value to be assigned.
|
Modifier and Type | Method and Description |
---|---|
IntVector |
IntVector.clone() |
Modifier and Type | Method and Description |
---|---|
void |
IntVector.append(IntVector x) |
int |
IntVector.compareTo(IntVector that)
dictionary/lexicographic ordering
|
static void |
IntVector.copy(int[] src,
int srcPos,
IntVector dst,
int dstPos,
int len) |
static void |
IntVector.copy(IntVector src,
int srcPos,
int[] dst,
int dstPos,
int len) |
static void |
IntVector.copy(IntVector src,
int srcPos,
IntVector dst,
int dstPos,
int len) |
Modifier and Type | Field and Description |
---|---|
protected IntVector |
GenericHeap.pinDownList |
Modifier and Type | Method and Description |
---|---|
void |
IntArrayFields.appendTo(IntVector v) |
void |
FloatArrayFields.appendTo(IntVector v) |
void |
ReferenceArrayFields.appendTo(IntVector v) |
void |
ByteArrayFields.appendTo(IntVector v) |
void |
NamedFields.appendTo(IntVector v) |
void |
DoubleArrayFields.appendTo(IntVector v) |
abstract void |
Fields.appendTo(IntVector v) |
void |
BooleanArrayFields.appendTo(IntVector v) |
void |
CharArrayFields.appendTo(IntVector v) |
void |
ShortArrayFields.appendTo(IntVector v) |
void |
LongArrayFields.appendTo(IntVector v) |
void |
ThreadInfo.dumpStoringData(IntVector v)
Returns the information necessary to store.
|
Modifier and Type | Field and Description |
---|---|
protected IntVector |
FilteringSerializer.buf |