Uses of Interface
gov.nasa.jpf.vm.Backtracker.RestorableState

Packages that use Backtracker.RestorableState

Package	Description
gov.nasa.jpf.vm

Uses of Backtracker.RestorableState in gov.nasa.jpf.vm

Methods in gov.nasa.jpf.vm that return Backtracker.RestorableState

Modifier and Type	Method and Description
Backtracker.RestorableState	RestorableVMState.getBkState()
Backtracker.RestorableState	Backtracker.getRestorableState()
Backtracker.RestorableState	DefaultBacktracker.getRestorableState()

Methods in gov.nasa.jpf.vm with parameters of type Backtracker.RestorableState

Modifier and Type	Method and Description
void	Backtracker.restoreState(Backtracker.RestorableState bs)
void	DefaultBacktracker.restoreState(Backtracker.RestorableState state)