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

Packages that use ThreadChoiceGenerator

Package	Description
gov.nasa.jpf.vm
gov.nasa.jpf.vm.choice

Uses of ThreadChoiceGenerator in gov.nasa.jpf.vm

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

Modifier and Type	Method and Description
ThreadChoiceGenerator	SystemState.getCurrentSchedulingPoint() this returns the most recently registered ThreadChoiceGenerator that is also a scheduling point, or 'null' if there is none in the list of current CGs

Uses of ThreadChoiceGenerator in gov.nasa.jpf.vm.choice

Classes in gov.nasa.jpf.vm.choice that implement ThreadChoiceGenerator

Modifier and Type	Class and Description
class	BreakGenerator a pseudo CG that is used to break transitions.
class	ThreadChoiceFromSet

Methods in gov.nasa.jpf.vm.choice that return ThreadChoiceGenerator

Modifier and Type	Method and Description
ThreadChoiceGenerator	ThreadChoiceFromSet.reorder(Comparator<ThreadInfo> comparator)