KDisjunctionInputOrder

class KDisjunctionInputOrder : public KDisjunctionSelector

This class implements a disjunction selector that selects the disjunction in the input order.

Example :

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

See

KDisjunctionSelector

Since

2016.1

Public Functions

KDisjunctionInputOrder()

Constructor.

KDisjunctionInputOrder(const KDisjunctionInputOrder &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.