Package | Description |
---|---|
gov.nasa.jpf.vm |
Modifier and Type | Method and Description |
---|---|
Backtracker.RestorableState |
RestorableVMState.getBkState() |
Backtracker.RestorableState |
Backtracker.getRestorableState() |
Backtracker.RestorableState |
DefaultBacktracker.getRestorableState() |
Modifier and Type | Method and Description |
---|---|
void |
Backtracker.restoreState(Backtracker.RestorableState bs) |
void |
DefaultBacktracker.restoreState(Backtracker.RestorableState state) |