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

Packages that use Transition

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

Uses of Transition in gov.nasa.jpf.search

Methods in gov.nasa.jpf.search that return Transition

Modifier and Type	Method and Description
Transition	Search.getTransition()

Uses of Transition in gov.nasa.jpf.vm

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

Modifier and Type	Field and Description
protected Transition	VM.lastTrailInfo various caches for VMListener state acquisition.
Transition	SystemState.trail

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

Modifier and Type	Method and Description
Transition	Path.get(int pos)
Transition	VM.getCurrentTransition() this is the ongoing transition.
Transition	Path.getLast()
Transition	RestorableVMState.getLastTransition()
Transition	VM.getLastTransition()
Transition	SystemState.getTrail()

Methods in gov.nasa.jpf.vm that return types with arguments of type Transition

Modifier and Type	Method and Description
Iterator<Transition>	Path.descendingIterator()
Iterator<Transition>	Path.iterator()

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

Modifier and Type	Method and Description
void	Path.add(Transition t)