KAssignAndForbid

class KAssignAndForbid : public KBranchingScheme

Assign And Forbid branching scheme

Example :

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

See

KBranchingScheme KAssignVar KAssignAndForbid KSettleDisjunction KProbe KSplitDomain

Since

2016.1

Public Functions

KAssignAndForbid(const int discrepancyLimit = MAX_INT)

Default Constructor.

KAssignAndForbid(const KVariableSelector &vs, const int discrepancyLimit = MAX_INT)

Constructor

Parameters

vs – the variable selector

KAssignAndForbid(const KVariableSelector &vs, const KValueSelector &valS, const int discrepancyLimit = MAX_INT)

Constructor

Parameters
  • vs – the variable selector

  • valS – the value selector

KAssignAndForbid(const KVariableSelector &vs, const KValueSelector &valS, const KIntVarArray &intVarArray, const int discrepancyLimit = MAX_INT)

Constructor

Parameters
  • vs – the variable selector

  • valS – the value selector

  • intVarArray – the array of variable to assign value

KAssignAndForbid(KAssignAndForbid_I *assignAndForbid)

Constructor with KAssignAndForbid_I*.