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

Packages that use Step

Package	Description
gov.nasa.jpf.vm

Uses of Step in gov.nasa.jpf.vm

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

Modifier and Type	Method and Description
Step	Transition.getLastStep()
Step	VM.getLastStep()
Step	Step.getNext()
Step	Transition.getStep(int index)
Step	Transition.StepIterator.next()

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

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

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

Modifier and Type	Method and Description
boolean	Step.sameSourceLocation(Step other)