KProbeDisjunction

class KProbeDisjunction : public KBranchingScheme

ProbeDisjunction branching scheme

See

KBranchingScheme KAssignVar KAssignAndForbid KSettleDisjunction KProbe KSplitDomain

Since

2016.1

Public Functions

KProbeDisjunction(KDisjunctionSelector *disjunctionSelector = nullptr, int discrepancyLimit = 2)

Constructor

Parameters

• disjunctionSelector – pointer to the disjunction selector heuristic

• discrepancyLimit – number of differences from heuristic allowed

KProbeDisjunction(const KDisjunctionArray &disjunctionArray, KDisjunctionSelector *disjunctionSelector = nullptr, int discrepancyLimit = 2)

Constructor

Parameters

disjunctionArray – the disjunction array to branch on

KProbeDisjunction(KProbeDisjunction_I *probeDisjunction)

Constructor with KProbeDisjunction_I*.

KProbeDisjunction(const KProbeDisjunction &toCopy)

Copy constructor.

virtual ~KProbeDisjunction()

Destructor.