choco.cp.solver.search.integer.branching.domwdeg
Class DomOverWDegBranchingNew
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.DomOverWDegBranchingNew
- All Implemented Interfaces:
- IRandomBreakTies, BranchingStrategy, IntBranching, PropagationEngineListener
public class DomOverWDegBranchingNew
- extends AbstractDomOverWDegBranching
History:
2008-04-23 : Creation : dom / wdeg needs to be a branching not just an heuristic to allow to deal with backtracking events !
WARNING ! This implementation suppose that the variables will not change. It copies all variables in an array
at the beginning !!
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 |
DomOverWDegBranchingNew
public DomOverWDegBranchingNew(Solver s,
IntDomainVar[] vars,
ValIterator valHeuri,
Number seed)
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.
getExpectedUpdateWeightsCount
protected int getExpectedUpdateWeightsCount()
- Specified by:
getExpectedUpdateWeightsCount
in class AbstractDomOverWDegBranching
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
goUpBranch
public void goUpBranch(IntBranchingDecision decision)
throws ContradictionException
- Description copied from interface:
IntBranching
- Performs the action,
so that we go up the current branch to the father choice point.
- Parameters:
decision
- the decision that has been set at the father choice point
- Throws:
ContradictionException
- if a domain empties or a contradiction is
infered
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 interface:
IntBranching
- compute the next decision by setting a branching value or modifying the branching object
finishedBranching
public 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
Copyright © 2012. All Rights Reserved.