KWidestDomain

class KWidestDomain : public KNumVariableSelector

This class implements a variable selector that selects the first uninstantiated variable with the widest domain.

Example :

KBranchingSchemeArray bsa;
bsa += KSplitNumDomain(KWidestDomain(), KMaxToMin();

See

KNumVariableSelector

Since

2016.1

Public Functions

KWidestDomain()

Default constructor.

KWidestDomain(const KWidestDomain &widestDomainToCopy)

Copy constructor.

virtual KNumVar *selectNextVariable(KNumVarArray *numVarArray)

virtual interface method to overload for definition of your own variable selection heuristics

Parameters

intVarArray – Array of variable from wich selecting a variable