choco.cp.solver.search.integer.branching
Class AssignOrForbidIntVarValPair
java.lang.Object
choco.kernel.solver.branch.AbstractBranchingStrategy
choco.kernel.solver.branch.AbstractIntBranchingStrategy
choco.kernel.solver.branch.AbstractBinIntBranchingStrategy
choco.cp.solver.search.integer.branching.AbstractAssignOrForbidBranching
choco.cp.solver.search.integer.branching.AssignOrForbidIntVarValPair
- All Implemented Interfaces:
- BranchingStrategy, IntBranching
public class AssignOrForbidIntVarValPair
- extends AbstractAssignOrForbidBranching
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
pairSelector
public final VarValPairSelector pairSelector
AssignOrForbidIntVarValPair
public AssignOrForbidIntVarValPair(VarValPairSelector pairSelector)
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
- Specified by:
setFirstBranch
in interface IntBranching
- Overrides:
setFirstBranch
in class AbstractAssignOrForbidBranching
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)
- Returns:
- the object on which an alternative will be set (often a variable)
- Throws:
ContradictionException
getDecisionLogMessage
public String getDecisionLogMessage(IntBranchingDecision decision)
- Description copied from interface:
IntBranching
- The logging message associated with the current decision.
- Specified by:
getDecisionLogMessage
in interface IntBranching
- Overrides:
getDecisionLogMessage
in class AbstractAssignOrForbidBranching
- Parameters:
decision
- current decision
- Returns:
- logging message.
Copyright © 2012. All Rights Reserved.