choco.cp.solver.search.integer.branching
Class ImpactBasedBranching.AbstractImpactStrategy
java.lang.Object
choco.cp.solver.search.integer.branching.ImpactBasedBranching.AbstractImpactStrategy
- All Implemented Interfaces:
- ImpactBasedBranching.ImpactStrategy
- Enclosing class:
- ImpactBasedBranching
public abstract static class ImpactBasedBranching.AbstractImpactStrategy
- extends Object
- implements ImpactBasedBranching.ImpactStrategy
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ImpactBasedBranching.AbstractImpactStrategy
public ImpactBasedBranching.AbstractImpactStrategy(ImpactBasedBranching branching,
ArrayList subset)
setDataS
public void setDataS(ImpactBasedBranching.AbstractImpactStrategy.ImpactStorage dataS)
initImpacts
public boolean initImpacts(int timelimit)
- Each value of each variable is tried to initialize
impact. A pruning according to this singleton
consistency phase's is done.
- Parameters:
timelimit
- limit to achieve the singleton algorithm
- Returns:
- true if no contradiction occured
Copyright © 2012. All Rights Reserved.