Package | Description |
---|---|
gov.nasa.jpf.vm |
Modifier and Type | Method and Description |
---|---|
Step |
Transition.getLastStep() |
Step |
VM.getLastStep() |
Step |
Step.getNext() |
Step |
Transition.getStep(int index) |
Step |
Transition.StepIterator.next() |
Modifier and Type | Method and Description |
---|---|
Iterator<Step> |
Transition.iterator() |
Modifier and Type | Method and Description |
---|---|
boolean |
Step.sameSourceLocation(Step other) |