Package | Description |
---|---|
gov.nasa.jpf.vm | |
gov.nasa.jpf.vm.choice |
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
|
Modifier and Type | Class and Description |
---|---|
class |
BreakGenerator
a pseudo CG that is used to break transitions.
|
class |
ThreadChoiceFromSet |
Modifier and Type | Method and Description |
---|---|
ThreadChoiceGenerator |
ThreadChoiceFromSet.reorder(Comparator<ThreadInfo> comparator) |