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

Packages that use ChoicePoint

Package	Description
gov.nasa.jpf.vm

Uses of ChoicePoint in gov.nasa.jpf.vm

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

Modifier and Type	Method and Description
ChoicePoint	ChoicePoint.getNext()
ChoicePoint	ChoicePoint.getPrevious()
static ChoicePoint	ChoicePoint.readTrace(String fileName, String sutName) "application:" appName {arg} "["searchLevel"]" (choiceGeneratorName | '#'cgID) nChoice