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

java.lang.Object
  extended by choco.kernel.solver.branch.AbstractBranchingStrategy
      extended by choco.kernel.solver.branch.AbstractIntBranchingStrategy
          extended by choco.kernel.solver.branch.AbstractLargeIntBranchingStrategy
              extended by choco.cp.solver.search.integer.branching.DomOverWDegBranching
All Implemented Interfaces:
BranchingStrategy, IntBranching, PropagationEngineListener

Deprecated. use DomOverWDegBranchingNew

public class DomOverWDegBranching
extends AbstractLargeIntBranchingStrategy
implements PropagationEngineListener

WARNING ! This implementation suppose that the variables will not change. It copies all variables in an array at the beginning !!


Field Summary
protected static int ABSTRACTCONTRAINT_EXTENSION
          Deprecated.  
protected static int ABSTRACTVAR_EXTENSION
          Deprecated.  
protected  Random randomBreakTies
          Deprecated.  
 
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
DomOverWDegBranching(Solver s, ValIterator valHeuri)
          Deprecated.  
DomOverWDegBranching(Solver s, ValIterator valHeuri, IntVar[] vars)
          Deprecated.  
DomOverWDegBranching(Solver s, ValSelector valHeuri)
          Deprecated.  
DomOverWDegBranching(Solver s, ValSelector valHeuri, IntVar[] vars)
          Deprecated.  
 
Method Summary
protected static void appendConstraint(StringBuilder b, SConstraint c)
          Deprecated.  
protected static void appendVariable(StringBuilder b, Var v)
          Deprecated.  
 void contradictionOccured(ContradictionException e)
          Deprecated.  
 boolean finishedBranching(IntBranchingDecision decision)
          Deprecated. Checks whether all branches have already been explored at the current choice point.
 String getDecisionLogMessage(IntBranchingDecision decision)
          Deprecated. The logging message associated with the current decision.
 void goDownBranch(IntBranchingDecision decision)
          Deprecated. Performs the action, so that we go down a branch from the current choice point.
 void goUpBranch(IntBranchingDecision decision)
          Deprecated. Performs the action, so that we go up the current branch to the father 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 c)
          Deprecated. this method is used to build the data structure in the branching for the given constraint.
 void logWeights(Logger logger, Level level)
          Deprecated.  
 void safeDelete()
          Deprecated. Define action to do just before a deletion.
 Object selectBranchingObject()
          Deprecated. selecting the object under scrutiny (that object on which an alternative will be set)
 void setBranchingVars(IntVar[] vs)
          Deprecated.  
 void setFirstBranch(IntBranchingDecision decision)
          Deprecated. compute the first decision by setting a branching value or modifying the branching object
 void setNextBranch(IntBranchingDecision decision)
          Deprecated. compute the next decision by setting a branching value or modifying the branching object
 void setRandomVarTies(int seed)
          Deprecated.  
 
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

ABSTRACTCONTRAINT_EXTENSION

protected static final int ABSTRACTCONTRAINT_EXTENSION
Deprecated. 

ABSTRACTVAR_EXTENSION

protected static final int ABSTRACTVAR_EXTENSION
Deprecated. 

randomBreakTies

protected Random randomBreakTies
Deprecated. 
Constructor Detail

DomOverWDegBranching

public DomOverWDegBranching(Solver s,
                            ValIterator valHeuri,
                            IntVar[] vars)
Deprecated. 

DomOverWDegBranching

public DomOverWDegBranching(Solver s,
                            ValIterator valHeuri)
Deprecated. 

DomOverWDegBranching

public DomOverWDegBranching(Solver s,
                            ValSelector valHeuri,
                            IntVar[] vars)
Deprecated. 

DomOverWDegBranching

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

safeDelete

public void safeDelete()
Deprecated. 
Define action to do just before a deletion.

Specified by:
safeDelete in interface PropagationEngineListener

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

initConstraintForBranching

public void initConstraintForBranching(SConstraint c)
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:
c - constraint

setBranchingVars

public void setBranchingVars(IntVar[] vs)
Deprecated. 

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)

Specified by:
selectBranchingObject in interface BranchingStrategy
Returns:
the object on which an alternative will be set (often a variable)
Throws:
ContradictionException

setFirstBranch

public void setFirstBranch(IntBranchingDecision decision)
Deprecated. 
Description copied from interface: IntBranching
compute the first decision by setting a branching value or modifying the branching object

Specified by:
setFirstBranch in interface IntBranching

setNextBranch

public void setNextBranch(IntBranchingDecision decision)
Deprecated. 
Description copied from interface: IntBranching
compute the next decision by setting a branching value or modifying the branching object

Specified by:
setNextBranch in interface IntBranching

finishedBranching

public boolean finishedBranching(IntBranchingDecision decision)
Deprecated. 
Description copied from interface: IntBranching
Checks whether all branches have already been explored at the current choice point.

Specified by:
finishedBranching in interface IntBranching
Parameters:
decision - the last decision applied
Returns:
true if no more branches can be generated

goDownBranch

public void goDownBranch(IntBranchingDecision decision)
                  throws ContradictionException
Deprecated. 
Description copied from interface: IntBranching
Performs the action, so that we go down a branch from the current choice point.

Specified by:
goDownBranch in interface IntBranching
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
Deprecated. 
Description copied from interface: IntBranching
Performs the action, so that we go up the current branch to the father choice point.

Specified by:
goUpBranch in interface IntBranching
Parameters:
decision - the decision that has been set at the father choice point
Throws:
ContradictionException - if a domain empties or a contradiction is infered

getDecisionLogMessage

public String getDecisionLogMessage(IntBranchingDecision decision)
Deprecated. 
Description copied from interface: IntBranching
The logging message associated with the current decision.

Specified by:
getDecisionLogMessage in interface IntBranching
Parameters:
decision - current decision
Returns:
logging message.

contradictionOccured

public void contradictionOccured(ContradictionException e)
Deprecated. 
Specified by:
contradictionOccured in interface PropagationEngineListener

appendConstraint

protected static void appendConstraint(StringBuilder b,
                                       SConstraint c)
Deprecated. 

appendVariable

protected static void appendVariable(StringBuilder b,
                                     Var v)
Deprecated. 

logWeights

public final void logWeights(Logger logger,
                             Level level)
Deprecated. 


Copyright © 2012. All Rights Reserved.