choco.kernel.solver.branch
Class AbstractBinIntBranchingStrategy

java.lang.Object
  extended by choco.kernel.solver.branch.AbstractBranchingStrategy
      extended by choco.kernel.solver.branch.AbstractIntBranchingStrategy
          extended by choco.kernel.solver.branch.AbstractBinIntBranchingStrategy
All Implemented Interfaces:
BranchingStrategy, IntBranching
Direct Known Subclasses:
AbstractAssignOrForbidBranching, AbstractSetBranchingStrategy

public abstract class AbstractBinIntBranchingStrategy
extends AbstractIntBranchingStrategy


Field Summary
 
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
AbstractBinIntBranchingStrategy()
           
 
Method Summary
 boolean finishedBranching(IntBranchingDecision ctx)
          Checks whether all branches have already been explored at the current choice point.
 void goUpBranch(IntBranchingDecision decision)
          nothing to do
 void setNextBranch(IntBranchingDecision ctx)
          compute the next decision by setting a branching value or modifying the branching object
 
Methods inherited from class choco.kernel.solver.branch.AbstractIntBranchingStrategy
getDefaultAssignMsg, getDefaultAssignOrForbidMsg
 
Methods inherited from class choco.kernel.solver.branch.AbstractBranchingStrategy
getManager, getNextBranching, initBranching, initConstraintForBranching, setNextBranching, setSolver
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface choco.kernel.solver.branch.IntBranching
getDecisionLogMessage, goDownBranch, setFirstBranch
 
Methods inherited from interface choco.kernel.solver.branch.BranchingStrategy
selectBranchingObject
 

Constructor Detail

AbstractBinIntBranchingStrategy

public AbstractBinIntBranchingStrategy()
Method Detail

setNextBranch

public final void setNextBranch(IntBranchingDecision ctx)
Description copied from interface: IntBranching
compute the next decision by setting a branching value or modifying the branching object


finishedBranching

public final boolean finishedBranching(IntBranchingDecision ctx)
Description copied from interface: IntBranching
Checks whether all branches have already been explored at the current choice point.

Parameters:
ctx - the last decision applied
Returns:
true if no more branches can be generated

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


Copyright © 2012. All Rights Reserved.