choco.cp.solver.search.integer.branching
Class DomOverWDegBinBranching

java.lang.Object
  extended by choco.kernel.solver.branch.AbstractBranchingStrategy
      extended by choco.kernel.solver.branch.AbstractIntBranchingStrategy
          extended by choco.kernel.solver.branch.AbstractBinIntBranchingStrategy
              extended by choco.cp.solver.search.integer.branching.AbstractAssignOrForbidBranching
                  extended by 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 !!


Field Summary
protected  Random randomBreakTies
          Deprecated.  
 
Fields inherited from class choco.cp.solver.search.integer.branching.AbstractAssignOrForbidBranching
valSelector
 
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
DomOverWDegBinBranching(Solver s, ValSelector valHeuri)
          Deprecated.  
DomOverWDegBinBranching(Solver s, ValSelector valHeuri, IntDomainVar[] intDomainVars)
          Deprecated.  
 
Method Summary
 void contradictionOccured(ContradictionException e)
          Deprecated.  
 void goDownBranch(IntBranchingDecision ctx)
          Deprecated. Performs the action, so that we go down a branch from the current choice point.
 void initBranching()
          Deprecated. This method is called before launching the search. it may be used to intialiaze data structures or counters for instance.
 void initConstraintForBranching(SConstraint s)
          Deprecated. this method is used to build the data structure in the branching for the given constraint.
 Object selectBranchingObject()
          Deprecated. selecting the object under scrutiny (that object on which an alternative will be set)
 void setRandomVarTies(int seed)
          Deprecated.  
 
Methods inherited from class choco.cp.solver.search.integer.branching.AbstractAssignOrForbidBranching
getDecisionLogMessage, setFirstBranch
 
Methods inherited from class choco.kernel.solver.branch.AbstractBinIntBranchingStrategy
finishedBranching, goUpBranch, setNextBranch
 
Methods inherited from class choco.kernel.solver.branch.AbstractIntBranchingStrategy
getDefaultAssignMsg, getDefaultAssignOrForbidMsg
 
Methods inherited from class choco.kernel.solver.branch.AbstractBranchingStrategy
getManager, getNextBranching, setNextBranching, setSolver
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

randomBreakTies

protected Random randomBreakTies
Deprecated. 
Constructor Detail

DomOverWDegBinBranching

public DomOverWDegBinBranching(Solver s,
                               ValSelector valHeuri,
                               IntDomainVar[] intDomainVars)
Deprecated. 

DomOverWDegBinBranching

public DomOverWDegBinBranching(Solver s,
                               ValSelector valHeuri)
Deprecated. 
Method Detail

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.