choco.cp.solver.search.integer.branching.domwdeg
Class DomOverWDegBinBranchingNew
java.lang.Object
choco.kernel.solver.branch.AbstractBranchingStrategy
choco.kernel.solver.branch.AbstractIntBranchingStrategy
choco.kernel.solver.branch.AbstractLargeIntBranchingStrategy
choco.cp.solver.search.integer.branching.domwdeg.AbstractDomOverWDegBranching
choco.cp.solver.search.integer.branching.domwdeg.AbstractDomOverWDegBinBranching
choco.cp.solver.search.integer.branching.domwdeg.DomOverWDegBinBranchingNew
- All Implemented Interfaces:
- IRandomBreakTies, BranchingStrategy, IntBranching, PropagationEngineListener
public class DomOverWDegBinBranchingNew
- extends AbstractDomOverWDegBinBranching
Methods inherited from class choco.cp.solver.search.integer.branching.domwdeg.AbstractDomOverWDegBranching |
cancelRandomBreakTies, contradictionOccured, decreaseVarWeights, getRatioSelector, getSolver, increaseVarWeights, initBranching, initConstraintForBranching, reinitBranching, safeDelete, selectBranchingObject, setRandomBreakTies, toString |
valSelector
protected final ValSelector valSelector
DomOverWDegBinBranchingNew
public DomOverWDegBinBranchingNew(Solver solver,
IntDomainVar[] vars,
ValSelector valHeuri,
Number seed)
setFirstBranch
public void setFirstBranch(IntBranchingDecision decision)
- Description copied from interface:
IntBranching
- compute the first decision by setting a branching value or modifying the branching object
setNextBranch
public void setNextBranch(IntBranchingDecision decision)
- Description copied from class:
AbstractDomOverWDegBinBranching
- nothing to do
- Specified by:
setNextBranch
in interface IntBranching
- Overrides:
setNextBranch
in class AbstractDomOverWDegBinBranching
goDownBranch
public void goDownBranch(IntBranchingDecision decision)
throws ContradictionException
- Description copied from interface:
IntBranching
- Performs the action,
so that we go down a branch from the current choice point.
- Parameters:
decision
- the decision to apply.
- Throws:
ContradictionException
- if a domain empties or a contradiction is
infered
Copyright © 2012. All Rights Reserved.