KDisjunctionPriorityOrder

class KDisjunctionPriorityOrder : public KDisjunctionSelector

This class implements a disjunction selector that selects first the disjunction ith the highest priority

Example :

KBranchingSchemeArray myBranchingSchemeArray;
myBranchingSchemeArray += KSettleDisjunction(new KDisjunctionPriorityOrder());

See

KDisjunctionSelector

Since

2016.1

Public Functions

KDisjunctionPriorityOrder()

Constructor.

KDisjunctionPriorityOrder(const KDisjunctionPriorityOrder &toCopy)

Copy constructor.

virtual KDisjunction *selectNextDisjunction(KDisjunctionArray *disjunctionArray)

Virtual interface method to overload for definition of your own disjunction selection heuristics

Parameters

intVarArray – Array of variable from wich selecting a variable

virtual KDisjunctionSelector *getCopyPtr() const

Return a copy of this object.