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 |
FloatChoiceFromList |
class |
IntChoiceFromList |
class |
IntChoiceFromSet |
class |
LongChoiceFromList |
Modifier and Type | Method and Description |
---|---|
NumberChoiceFromList<T> |
NumberChoiceFromList.randomize() |
NumberChoiceFromList<T> |
NumberChoiceFromList.reorder(Comparator<T> comparator) |