choco.cp.solver.search.integer.branching.domwdeg
Class AbstractDomOverWDegBinBranching

java.lang.Object
  extended by choco.kernel.solver.branch.AbstractBranchingStrategy
      extended by choco.kernel.solver.branch.AbstractIntBranchingStrategy
          extended by choco.kernel.solver.branch.AbstractLargeIntBranchingStrategy
              extended by choco.cp.solver.search.integer.branching.domwdeg.AbstractDomOverWDegBranching
                  extended by 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


Field Summary
protected  IStateInt nbRightBranches
           
 
Fields inherited from class choco.cp.solver.search.integer.branching.domwdeg.AbstractDomOverWDegBranching
solver, updateWeightsCount, varRatios
 
Fields inherited from class choco.kernel.solver.branch.AbstractBranchingStrategy
LOG_DECISION_MSG_ASSIGN, LOG_DECISION_MSG_REMOVE, LOG_DOWN_MSG, LOG_UP_MSG, manager
 
Fields inherited from interface choco.kernel.solver.branch.BranchingStrategy
LOGGER
 
Constructor Summary
AbstractDomOverWDegBinBranching(Solver solver, IntRatio[] varRatios, Number seed)
           
 
Method Summary
 boolean finishedBranching(IntBranchingDecision decision)
          Checks whether all branches have already been explored at the current choice point.
 String getDecisionLogMessage(IntBranchingDecision decision)
          The logging message associated with the current decision.
protected  int getExpectedUpdateWeightsCount()
           
 void getNextBranch(IntBranchingDecision decision)
           
 void goUpBranch(IntBranchingDecision decision)
          nothing to do
 void setNextBranch(IntBranchingDecision decision)
          nothing to do
 
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
 
Methods inherited from class choco.kernel.solver.branch.AbstractIntBranchingStrategy
getDefaultAssignMsg, getDefaultAssignOrForbidMsg
 
Methods inherited from class choco.kernel.solver.branch.AbstractBranchingStrategy
getManager, getNextBranching, setNextBranching, setSolver
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface choco.kernel.solver.branch.IntBranching
goDownBranch, setFirstBranch
 

Field Detail

nbRightBranches

protected final IStateInt nbRightBranches
Constructor Detail

AbstractDomOverWDegBinBranching

public AbstractDomOverWDegBinBranching(Solver solver,
                                       IntRatio[] varRatios,
                                       Number seed)
Method Detail

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.