public class RestorableVMState extends Object
Modifier and Type | Method and Description |
---|---|
Backtracker.RestorableState |
getBkState() |
Transition |
getLastTransition() |
Path |
getPath() |
int |
getThread() |
public Backtracker.RestorableState getBkState()
public Transition getLastTransition()
public Path getPath()
public int getThread()