KRandomVariable¶

class KRandomVariable : public KVariableSelector ¶

This class implements a variable selector that selects an uninstantiated variable at random.

Example :

KBranchingSchemeArray myBranchingSchemeArray;
myBranchingSchemeArray += KAssignVar(KRandomVariable(),KMaxToMin();