choco.cp.solver.search.integer.branching.domwdeg
Class TaskOverWDegBinBranching
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.TaskOverWDegBinBranching
- All Implemented Interfaces:
- IRandomBreakTies, BranchingStrategy, IntBranching, PropagationEngineListener
public class TaskOverWDegBinBranching
- extends AbstractDomOverWDegBinBranching
Methods inherited from class choco.cp.solver.search.integer.branching.domwdeg.AbstractDomOverWDegBranching |
cancelRandomBreakTies, contradictionOccured, decreaseVarWeights, getRatioSelector, getSolver, increaseVarWeights, initBranching, initConstraintForBranching, reinitBranching, safeDelete, setRandomBreakTies, toString |
TaskOverWDegBinBranching
public TaskOverWDegBinBranching(Solver solver,
ITemporalRatio[] varRatios,
OrderingValSelector 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
selectBranchingObject
public Object selectBranchingObject()
throws ContradictionException
- Description copied from interface:
BranchingStrategy
- selecting the object under scrutiny (that object on which an alternative will be set)
- Specified by:
selectBranchingObject
in interface BranchingStrategy
- Overrides:
selectBranchingObject
in class AbstractDomOverWDegBranching
- Returns:
- the object on which an alternative will be set (often a variable)
- Throws:
ContradictionException
Copyright © 2012. All Rights Reserved.