choco.kernel.solver.search.set
Class AbstractSetBranchingStrategy
java.lang.Object
choco.kernel.solver.branch.AbstractBranchingStrategy
choco.kernel.solver.branch.AbstractIntBranchingStrategy
choco.kernel.solver.branch.AbstractBinIntBranchingStrategy
choco.kernel.solver.search.set.AbstractSetBranchingStrategy
- All Implemented Interfaces:
- BranchingStrategy, IntBranching
- Direct Known Subclasses:
- AssignSetVar
public abstract class AbstractSetBranchingStrategy
- extends AbstractBinIntBranchingStrategy
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
LOG_DECISION_MSG
public static final String[] LOG_DECISION_MSG
AbstractSetBranchingStrategy
public AbstractSetBranchingStrategy()
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.