Package | Description |
---|---|
gov.nasa.jpf.vm |
Modifier and Type | Class and Description |
---|---|
class |
AbstractRestorer<Saved> |
class |
DefaultMementoRestorer
a MementoRestorer that uses the default mementos
|
class |
MementoRestorer
state storer/restorer that works solely on a snapshot basis
|
Modifier and Type | Field and Description |
---|---|
protected StateRestorer<KState> |
DefaultBacktracker.restorer |
protected StateRestorer<?> |
VM.restorer
optional serializer/restorer to support backtracker
|
Modifier and Type | Method and Description |
---|---|
<T> StateRestorer<T> |
VM.getRestorer() |