KDisjunctionSelector

class KDisjunctionSelector

Abstract interface class for disjunction selection heuristic

Since

2016.1

Subclassed by KDisjunctionInputOrder, KDisjunctionPriorityOrder

Public Functions

KDisjunctionSelector()

Constructor.

KDisjunctionSelector(KProblem *problem)

Constructor with KProblem.

KDisjunctionSelector(const KDisjunctionSelector &selectorToCopy)

Copy constructor.

virtual ~KDisjunctionSelector()

Destructor.

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.

inline virtual void printName() const

Print the name of this disjunction selector.

inline virtual const char *getName() const

Return the name of this disjunction selector.