Package | Description |
---|---|
gov.nasa.jpf.vm.choice |
Modifier and Type | Class and Description |
---|---|
class |
DoubleChoiceFromList
simple DoubleChoiceGenerator that takes it's values from a single
property "values" (comma or blank separated list)
|
class |
DoubleChoiceFromSet |
class |
DoubleThresholdGenerator
ChoiceGenerator instance that produces a simple 3 value enumeration
|