Package | Description |
---|---|
gov.nasa.jpf | |
gov.nasa.jpf.search.heuristic | |
gov.nasa.jpf.vm |
Modifier and Type | Method and Description |
---|---|
RestorableVMState |
State.getVMState() |
Constructor and Description |
---|
State(boolean isNew,
boolean hasSuccessor,
SearchState searchState,
RestorableVMState vmState) |
Modifier and Type | Field and Description |
---|---|
protected RestorableVMState |
HeuristicState.vmState |
Modifier and Type | Method and Description |
---|---|
RestorableVMState |
HeuristicState.getVMState() |
Modifier and Type | Method and Description |
---|---|
RestorableVMState |
VM.getRestorableState()
Bundles up the state of the system for export
|
Modifier and Type | Method and Description |
---|---|
void |
VM.restoreState(RestorableVMState state) |