choco.cp.solver.search.integer.branching
Class PackDynRemovals
java.lang.Object
choco.kernel.solver.branch.AbstractBranchingStrategy
choco.kernel.solver.branch.AbstractIntBranchingStrategy
choco.kernel.solver.branch.AbstractLargeIntBranchingStrategy
choco.cp.solver.search.integer.branching.AssignVar
choco.cp.solver.search.integer.branching.PackDynRemovals
- All Implemented Interfaces:
- BranchingStrategy, IntBranching
public class PackDynRemovals
- extends AssignVar
A specialized search strategy for packing problem.
At every backtrack, we state that the item can not be packed in equivalent bins.
Two bins are equivalent if they have the same remaining space.
- Since:
- 7 déc. 2008 version 2.0.1
- Version:
- 2.0.1
- Author:
- Arnaud Malapert
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
pack
public final PackSConstraint pack
PackDynRemovals
public PackDynRemovals(VarSelector<IntDomainVar> varSel,
ValSelector<IntDomainVar> valHeuri,
PackSConstraint pack)
removeEmptyBins
public void removeEmptyBins(IntDomainVar bin)
throws ContradictionException
- Throws:
ContradictionException
fail
public final void fail()
throws ContradictionException
- Throws:
ContradictionException
removeEquivalentBins
public void removeEquivalentBins(IntDomainVar bin,
int bup)
throws ContradictionException
- Throws:
ContradictionException
goUpBranch
public void goUpBranch(IntBranchingDecision decision)
throws ContradictionException
- Description copied from interface:
IntBranching
- Performs the action,
so that we go up the current branch to the father choice point.
- Specified by:
goUpBranch
in interface IntBranching
- Overrides:
goUpBranch
in class AssignVar
- Parameters:
decision
- the decision that has been set at the father choice point
- Throws:
ContradictionException
- if a domain empties or a contradiction is
infered- See Also:
choco.cp.solver.search.integer.branching.AssignVar#goUpBranch(java.lang.Object, int)
Copyright © 2012. All Rights Reserved.