KSplitDomain

class KSplitDomain : public KBranchingScheme

SplitDomain Branching scheme

../../_images/SplitDomain.png

Example :

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

See

KBranchingScheme KAssignVar KAssignAndForbid KSettleDisjunction KProbe KSplitDomain

Since

2016.1

Public Functions

KSplitDomain(const bool lowerPartFirst = true, const int minDomainSize = MIN_DOMAIN_SIZE_FOR_SPLIT_DOMAIN, const int discrepancyLimit = MAX_INT)

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

KSplitDomain(const KVariableSelector &varSel, const bool lowerPartFirst = true, const int minDomainSize = MIN_DOMAIN_SIZE_FOR_SPLIT_DOMAIN, const int discrepancyLimit = MAX_INT)

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

KSplitDomain(const KVariableSelector &varSel, const KValueSelector &valSel, const bool lowerPartFirst = true, const int minDomainSize = MIN_DOMAIN_SIZE_FOR_SPLIT_DOMAIN, const int discrepancyLimit = MAX_INT)

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

KSplitDomain(const KVariableSelector &varSel, const KValueSelector &valSel, const KIntVarArray &intVarArray, const bool lowerPartFirst = true, const int minDomainSize = MIN_DOMAIN_SIZE_FOR_SPLIT_DOMAIN, const int discrepancyLimit = MAX_INT)

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