KRandomValue¶
-
class KRandomValue : public KValueSelector¶
This class implements a value selector that selects a value at random in the domain of the variable.
Example :
KBranchingSchemeArray bsa; bsa += KAssignVar(KSmallestDomain(),KRandomValue());
- See
- Since
2016.1