| 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.
|