Uses of Class
gov.nasa.jpf.vm.choice.NumberChoiceFromList

Packages that use NumberChoiceFromList

Package	Description
gov.nasa.jpf.vm.choice

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

Subclasses of NumberChoiceFromList in 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

Methods in gov.nasa.jpf.vm.choice that return NumberChoiceFromList

Modifier and Type	Method and Description
NumberChoiceFromList<T>	NumberChoiceFromList.randomize()
NumberChoiceFromList<T>	NumberChoiceFromList.reorder(Comparator<T> comparator)