choco.cp.solver.search.integer.branching
Class AssignOrForbidIntVarVal
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.AssignOrForbidIntVarVal
- All Implemented Interfaces:
- BranchingStrategy, IntBranching
public class AssignOrForbidIntVarVal
- extends AbstractAssignOrForbidBranching
A class for branching schemes that consider two branches: - one assigning a
value to an IntVar (X == v) - and the other forbidding this assignment (X != v)
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
AssignOrForbidIntVarVal
public AssignOrForbidIntVarVal(VarSelector<IntDomainVar> varHeuristic,
ValSelector<IntDomainVar> valSHeuristic)
AssignOrForbidIntVarVal
@Deprecated
public AssignOrForbidIntVarVal(VarValPairSelector pairh)
- Deprecated.
- replaced by
AssignOrForbidIntVarValPair
goDownBranch
public void goDownBranch(IntBranchingDecision ctx)
throws ContradictionException
- Description copied from interface:
IntBranching
- Performs the action,
so that we go down a branch from the current choice point.
- Parameters:
ctx
- the decision to apply.
- Throws:
ContradictionException
- if a domain empties or a contradiction is
infered
selectBranchingObject
public Object selectBranchingObject()
throws ContradictionException
- 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
Copyright © 2012. All Rights Reserved.