gov.nasa.jpf.vm

Interface DoubleChoiceGenerator

All Superinterfaces:

ChoiceGenerator<java.lang.Double>, java.lang.Cloneable

All Known Implementing Classes:

DoubleChoiceFromList, DoubleChoiceFromSet, DoubleThresholdGenerator

public interface DoubleChoiceGenerator
extends ChoiceGenerator<java.lang.Double>

Choice Generator that creates double values - this is only an interface so that we can type check implementors that use their own generic hierarchy

Method Summary

Methods inherited from interface gov.nasa.jpf.vm.ChoiceGenerator

addAttr, advance, advance, attrIterator, attrIterator, clone, deepClone, getAll, getAllChoices, getAllOfType, getAttr, getAttr, getCascade, getCascadedParent, getChoice, getChoiceType, getId, getIdRef, getInsn, getNextAttr, getNextChoice, getNumberOfParents, getPreviousChoiceGenerator, getPreviousChoiceGeneratorOfType, getProcessedChoices, getProcessedNumberOfChoices, getSourceLocation, getStateId, getThreadInfo, getTotalNumberOfChoices, getUnprocessedChoices, hasAttr, hasAttr, hasMoreChoices, isCascaded, isDone, isProcessed, isSchedulingPoint, randomize, removeAttr, reorder, replaceAttr, reset, select, setAttr, setCascaded, setContext, setCurrent, setDone, setId, setIdRef, setInsn, setPreviousChoiceGenerator, setStateId, setThreadInfo, supportsReordering