Uses of Interface
gov.nasa.jpf.vm.IntChoiceGenerator

Packages that use IntChoiceGenerator

Package	Description
gov.nasa.jpf.vm.choice

Uses of IntChoiceGenerator in gov.nasa.jpf.vm.choice

Classes in gov.nasa.jpf.vm.choice that implement IntChoiceGenerator

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.

Constructors in gov.nasa.jpf.vm.choice with parameters of type IntChoiceGenerator

Constructor and Description
RandomOrderIntCG(IntChoiceGenerator sub)