choco.kernel.solver.branch
Class AbstractBinIntBranchingStrategy
java.lang.Object
choco.kernel.solver.branch.AbstractBranchingStrategy
choco.kernel.solver.branch.AbstractIntBranchingStrategy
choco.kernel.solver.branch.AbstractBinIntBranchingStrategy
- All Implemented Interfaces:
- BranchingStrategy, IntBranching
- Direct Known Subclasses:
- AbstractAssignOrForbidBranching, AbstractSetBranchingStrategy
public abstract class AbstractBinIntBranchingStrategy
- extends AbstractIntBranchingStrategy
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
AbstractBinIntBranchingStrategy
public AbstractBinIntBranchingStrategy()
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.