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

Packages that use DoubleChoiceGenerator

Package	Description
gov.nasa.jpf.vm.choice

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

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

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