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

Packages that use Backtracker

Package	Description
gov.nasa.jpf.vm

Uses of Backtracker in gov.nasa.jpf.vm

Classes in gov.nasa.jpf.vm that implement Backtracker

Modifier and Type	Class and Description
class	DefaultBacktracker<KState>

Fields in gov.nasa.jpf.vm declared as Backtracker

Modifier and Type	Field and Description
protected Backtracker	VM.backtracker the structure responsible for storing and restoring backtrack info

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

Modifier and Type	Method and Description
Backtracker	VM.getBacktracker()