KProbe

class KProbe : public KBranchingScheme

Probe branching scheme

See

KBranchingScheme KAssignVar KAssignAndForbid KSettleDisjunction KProbe KSplitDomain

Since

2016.1

Public Functions

KProbe(int discrepancyLimit = 2, int breadthLimit = -1)

Constructor (Default variable and value selection heuristics are used)

Parameters

discrepancyLimit – number of differences from heuristic allowed

KProbe(const KVariableSelector &vs, int discrepancyLimit = 2, int breadthLimit = -1)

Constructor (default value selector is used)

Parameters

  • vs – the variable selector

  • discrepancyLimit – number of differences from heuristic allowed

KProbe(const KVariableSelector &varSel, const KValueSelector &valSel, int discrepancyLimit = 2, int breadthLimit = -1)

Constructor

Parameters

  • vs – the variable selector

  • valSel – the value selector

  • discrepancyLimit – number of differences from heuristic allowed

KProbe(const KVariableSelector &varSel, const KValueSelector &valSel, const KIntVarArray &vars, int discrepancyLimit = 2, int breadthLimit = -1)

Constructor

Parameters

  • vs – the variable selector

  • valSel – the value selector

  • vars – the list of variables to apply this branching scheme to

  • discrepancyLimit – number of differences from heuristic allowed