Uses of Class
gov.nasa.jpf.vm.AbstractRestorer

Packages that use AbstractRestorer

Package	Description
gov.nasa.jpf.vm

Uses of AbstractRestorer in gov.nasa.jpf.vm

Subclasses of AbstractRestorer in gov.nasa.jpf.vm

Modifier and Type	Class and Description
class	DefaultMementoRestorer a MementoRestorer that uses the default mementos
class	MementoRestorer state storer/restorer that works solely on a snapshot basis