Package | Description |
---|---|
gov.nasa.jpf.vm.choice |
Class and Description |
---|
DoubleChoiceFromList
simple DoubleChoiceGenerator that takes it's values from a single
property "values" (comma or blank separated list)
|
DoubleThresholdGenerator
ChoiceGenerator instance that produces a simple 3 value enumeration
|
IntChoiceFromList |
NumberChoiceFromList
common root for list based number choice generators
|
ThreadChoiceFromSet |
TypedObjectChoice
a choice generator that enumerates the set of all objects of a certain type.
|