choco.cp.solver.search.integer.branching.domwdeg
Class AbstractDomOverWDegBinBranching
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
- All Implemented Interfaces:
- IRandomBreakTies, BranchingStrategy, IntBranching, PropagationEngineListener
- Direct Known Subclasses:
- DomOverWDegBinBranchingNew, TaskOverWDegBinBranching
public abstract class AbstractDomOverWDegBinBranching
- extends AbstractDomOverWDegBranching
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 |
nbRightBranches
protected final IStateInt nbRightBranches
AbstractDomOverWDegBinBranching
public AbstractDomOverWDegBinBranching(Solver solver,
IntRatio[] varRatios,
Number seed)
getExpectedUpdateWeightsCount
protected int getExpectedUpdateWeightsCount()
- Specified by:
getExpectedUpdateWeightsCount
in class AbstractDomOverWDegBranching
getNextBranch
public final void getNextBranch(IntBranchingDecision decision)
finishedBranching
public final boolean finishedBranching(IntBranchingDecision decision)
- Description copied from interface:
IntBranching
- Checks whether all branches have already been explored at the
current choice point.
- Parameters:
decision
- the last decision applied
- Returns:
- true if no more branches can be generated
getDecisionLogMessage
public String getDecisionLogMessage(IntBranchingDecision decision)
- Description copied from interface:
IntBranching
- The logging message associated with the current decision.
- Parameters:
decision
- current decision
- Returns:
- logging message.
goUpBranch
public void goUpBranch(IntBranchingDecision decision)
throws ContradictionException
- nothing to do
- Parameters:
decision
- the decision that has been set at the father choice point
- Throws:
ContradictionException
- if a domain empties or a contradiction is
infered
setNextBranch
public void setNextBranch(IntBranchingDecision decision)
- nothing to do
Copyright © 2012. All Rights Reserved.