KMaxToMin

class KMaxToMin : public KValueSelector

This class implements a value selector that returns values in decreasing order.

Example :

KBranchingSchemeArray bsa;
bsa += KAssignVar(KSmallestDomain(), KMaxToMin();

See

KValueSelector

Since

2016.1

Public Functions

KMaxToMin()

Default Constructor.

KMaxToMin(const KMaxToMin &maxToMinToCopy)

Copy constructor.

virtual int selectNextValue(KIntVar *intVar)

get Next Value