choco.kernel.solver.search.set
Class AbstractSetBranchingStrategy

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.kernel.solver.search.set.AbstractSetBranchingStrategy
All Implemented Interfaces:
BranchingStrategy, IntBranching
Direct Known Subclasses:
AssignSetVar

public abstract class AbstractSetBranchingStrategy
extends AbstractBinIntBranchingStrategy


Field Summary
static String[] LOG_DECISION_MSG
           
 
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
AbstractSetBranchingStrategy()
           
 
Method Summary
 String getDecisionLogMessage(IntBranchingDecision decision)
          The logging message associated with the current decision.
 void goDownBranch(IntBranchingDecision decision)
          Performs the action, so that we go down a branch from the current choice point.
 
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, initBranching, initConstraintForBranching, setNextBranching, setSolver
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface choco.kernel.solver.branch.IntBranching
setFirstBranch
 
Methods inherited from interface choco.kernel.solver.branch.BranchingStrategy
selectBranchingObject
 

Field Detail

LOG_DECISION_MSG

public static final String[] LOG_DECISION_MSG
Constructor Detail

AbstractSetBranchingStrategy

public AbstractSetBranchingStrategy()
Method Detail

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

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.


Copyright © 2012. All Rights Reserved.