choco.cp.solver.search.integer.branching
Class DomOverWDegBinBranching
java.lang.Object
choco.kernel.solver.branch.AbstractBranchingStrategy
choco.kernel.solver.branch.AbstractIntBranchingStrategy
choco.kernel.solver.branch.AbstractBinIntBranchingStrategy
choco.cp.solver.search.integer.branching.AbstractAssignOrForbidBranching
choco.cp.solver.search.integer.branching.DomOverWDegBinBranching
- All Implemented Interfaces:
- BranchingStrategy, IntBranching
Deprecated. use DomOverWDegBinBranching2
instead.
@Deprecated
public class DomOverWDegBinBranching
- extends AbstractAssignOrForbidBranching
WARNING ! This implementation suppose that the variables will not change. It
copies all variables in an array at the beginning !!
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
randomBreakTies
protected Random randomBreakTies
- Deprecated.
DomOverWDegBinBranching
public DomOverWDegBinBranching(Solver s,
ValSelector valHeuri,
IntDomainVar[] intDomainVars)
- Deprecated.
DomOverWDegBinBranching
public DomOverWDegBinBranching(Solver s,
ValSelector valHeuri)
- Deprecated.
initConstraintForBranching
public void initConstraintForBranching(SConstraint s)
- Deprecated.
- Description copied from class:
AbstractBranchingStrategy
- this method is used to build the data structure in the branching for
the given constraint. This is used when the constraint was not present
at the initialization of the branching, for example a cut
- Overrides:
initConstraintForBranching
in class AbstractBranchingStrategy
- Parameters:
s
- constraint
initBranching
public void initBranching()
- Deprecated.
- Description copied from class:
AbstractBranchingStrategy
- This method is called before launching the search. it may be used to intialiaze data structures or counters for
instance.
- Overrides:
initBranching
in class AbstractBranchingStrategy
setRandomVarTies
public void setRandomVarTies(int seed)
- Deprecated.
selectBranchingObject
public Object selectBranchingObject()
throws ContradictionException
- Deprecated.
- Description copied from interface:
BranchingStrategy
- selecting the object under scrutiny (that object on which an alternative will be set)
- Returns:
- the object on which an alternative will be set (often a variable)
- Throws:
ContradictionException
goDownBranch
public void goDownBranch(IntBranchingDecision ctx)
throws ContradictionException
- Deprecated.
- Description copied from interface:
IntBranching
- Performs the action,
so that we go down a branch from the current choice point.
- Parameters:
ctx
- the decision to apply.
- Throws:
ContradictionException
- if a domain empties or a contradiction is
infered
contradictionOccured
public void contradictionOccured(ContradictionException e)
- Deprecated.
Copyright © 2012. All Rights Reserved.