KSettleDisjunction

class KSettleDisjunction : public KBranchingScheme

KSettleDisjunction branching scheme

Example :

KBranchingSchemeArray myBranchingSchemeArray;
myBranchingSchemeArray += KSettleDisjunction();

See

KBranchingScheme KAssignVar KAssignAndForbid KSettleDisjunction KProbe KSplitDomain

Since

2016.1

Public Functions

KSettleDisjunction(KDisjunctionSelector *disjunctionSelector = nullptr)

Primary constructor.

KSettleDisjunction(const KDisjunctionArray &disjunctionArray, KDisjunctionSelector *disjunctionSelector = nullptr)

Constructor

Parameters

disjunctionArray – the disjunction array to branch on