choco.cp.solver.search.integer.branching.domwdeg
Class TaskOverWDegBinBranching

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.domwdeg.AbstractDomOverWDegBranching
                  extended by choco.cp.solver.search.integer.branching.domwdeg.AbstractDomOverWDegBinBranching
                      extended by choco.cp.solver.search.integer.branching.domwdeg.TaskOverWDegBinBranching
All Implemented Interfaces:
IRandomBreakTies, BranchingStrategy, IntBranching, PropagationEngineListener

public class TaskOverWDegBinBranching
extends AbstractDomOverWDegBinBranching


Field Summary
 
Fields inherited from class choco.cp.solver.search.integer.branching.domwdeg.AbstractDomOverWDegBinBranching
nbRightBranches
 
Fields inherited from class choco.cp.solver.search.integer.branching.domwdeg.AbstractDomOverWDegBranching
solver, updateWeightsCount, varRatios
 
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
TaskOverWDegBinBranching(Solver solver, ITemporalRatio[] varRatios, OrderingValSelector valHeuri, Number seed)
           
 
Method Summary
 void goDownBranch(IntBranchingDecision decision)
          Performs the action, so that we go down a branch from the current choice point.
 Object selectBranchingObject()
          selecting the object under scrutiny (that object on which an alternative will be set)
 void setFirstBranch(IntBranchingDecision decision)
          compute the first decision by setting a branching value or modifying the branching object
 void setNextBranch(IntBranchingDecision decision)
          nothing to do
 
Methods inherited from class choco.cp.solver.search.integer.branching.domwdeg.AbstractDomOverWDegBinBranching
finishedBranching, getDecisionLogMessage, getExpectedUpdateWeightsCount, getNextBranch, goUpBranch
 
Methods inherited from class choco.cp.solver.search.integer.branching.domwdeg.AbstractDomOverWDegBranching
cancelRandomBreakTies, contradictionOccured, decreaseVarWeights, getRatioSelector, getSolver, increaseVarWeights, initBranching, initConstraintForBranching, reinitBranching, safeDelete, setRandomBreakTies, toString
 
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, wait, wait, wait
 

Constructor Detail

TaskOverWDegBinBranching

public TaskOverWDegBinBranching(Solver solver,
                                ITemporalRatio[] varRatios,
                                OrderingValSelector valHeuri,
                                Number seed)
Method Detail

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.