KSplitNumDomain

class KSplitNumDomain : public KBranchingScheme

SplitDomain Branching scheme

../../_images/SplitDomain.png

Example : 

KBranchingSchemeArray myBranchingSchemeArray;
myBranchingSchemeArray += KSplitNumDomain(KSmallestDomain(),KMaxToMin());

See

KBranchingScheme KAssignVar KAssignAndForbid KSettleDisjunction KProbe KSplitNumDomain

Since

2016.1

Public Functions

KSplitNumDomain(const bool lowerPartFirst = true, const int minDomainSize = MIN_DOMAIN_SIZE_FOR_SPLIT_DOMAIN)

Constructor

Parameters

  • lowerPartFirst – explore the lower part of the domain first (default value = true)

  • minDomainSize – under a size of ‘minDomainSize’ for the domain of the variable , no split occur

KSplitNumDomain(const KNumVariableSelector &varSel, const bool lowerPartFirst = true, const int minDomainSize = MIN_DOMAIN_SIZE_FOR_SPLIT_DOMAIN)

Constructor

Parameters

  • varSel – the variable selector

  • lowerPartFirst – explore the lower part of the domain first (default value = true)

  • minDomainSize – under a size of ‘minDomainSize’ for the domain of the variable , no split occur

Param

KSplitNumDomain(const KNumVariableSelector &varSel, const KNumValueSelector &valSel, const bool lowerPartFirst = true, const int minDomainSize = MIN_DOMAIN_SIZE_FOR_SPLIT_DOMAIN)

Constructor

Parameters

  • varSel – the variable selector

  • valSel – the value selector

  • lowerPartFirst – explore the lower part of the domain first (default value = true)

  • minDomainSize – under a size of ‘minDomainSize’ for the domain of the variable , no split occur

Param

KSplitNumDomain(const KNumVariableSelector &varSel, const KNumValueSelector &valSel, const KNumVarArray &intVarArray, const bool lowerPartFirst = true, const int minDomainSize = MIN_DOMAIN_SIZE_FOR_SPLIT_DOMAIN)

Constructor

Parameters

  • varSel – the variable selector

  • valSel – the value selector

  • intVarArray – the variable array to branch on

  • lowerPartFirst – explore the lower part of the domain first (default value = true)

  • minDomainSize – under a size of ‘minDomainSize’ for the domain of the variable , no split occur

Param