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

Packages that use RestorableVMState

Package	Description
gov.nasa.jpf
gov.nasa.jpf.search.heuristic
gov.nasa.jpf.vm

Uses of RestorableVMState in gov.nasa.jpf

Methods in gov.nasa.jpf that return RestorableVMState

Modifier and Type	Method and Description
RestorableVMState	State.getVMState()

Constructors in gov.nasa.jpf with parameters of type RestorableVMState

Constructor and Description
State(boolean isNew, boolean hasSuccessor, SearchState searchState, RestorableVMState vmState)

Uses of RestorableVMState in gov.nasa.jpf.search.heuristic

Fields in gov.nasa.jpf.search.heuristic declared as RestorableVMState

Modifier and Type	Field and Description
protected RestorableVMState	HeuristicState.vmState

Methods in gov.nasa.jpf.search.heuristic that return RestorableVMState

Modifier and Type	Method and Description
RestorableVMState	HeuristicState.getVMState()

Uses of RestorableVMState in gov.nasa.jpf.vm

Methods in gov.nasa.jpf.vm that return RestorableVMState

Modifier and Type	Method and Description
RestorableVMState	VM.getRestorableState() Bundles up the state of the system for export

Methods in gov.nasa.jpf.vm with parameters of type RestorableVMState

Modifier and Type	Method and Description
void	VM.restoreState(RestorableVMState state)