Package | Description |
---|---|
gov.nasa.jpf.vm.choice |
Modifier and Type | Class and Description |
---|---|
class |
IntChoiceFromList |
class |
IntChoiceFromSet |
class |
IntIntervalGenerator
Choice Generator that enumerates an interval of int values.
|
class |
RandomIntIntervalGenerator
a IntChoiceGenerator that randomly chooses a configured number
of values from a specified range
this is usually configured through app properties
<2do> this is too redundant to RandomOrderIntCG - replace
|
class |
RandomOrderIntCG
a generic IntChoiceGenerator randomizer.
|
Constructor and Description |
---|
RandomOrderIntCG(IntChoiceGenerator sub) |