choco.cp.solver.search.integer.branching
Class ImpactBasedBranching.AbstractImpactStrategy

java.lang.Object
  extended by 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


Nested Class Summary
protected static class ImpactBasedBranching.AbstractImpactStrategy.ImpactStorage
           
 
Constructor Summary
ImpactBasedBranching.AbstractImpactStrategy(ImpactBasedBranching branching, ArrayList subset)
           
 
Method Summary
 boolean initImpacts(int timelimit)
          Each value of each variable is tried to initialize impact.
 void setDataS(ImpactBasedBranching.AbstractImpactStrategy.ImpactStorage dataS)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface choco.cp.solver.search.integer.branching.ImpactBasedBranching.ImpactStrategy
doAfterFail, doAfterPropagDownBranch, doBeforePropagDownBranch, getBoundImpactVar, getEnumImpactVar, getImpactVal
 

Constructor Detail

ImpactBasedBranching.AbstractImpactStrategy

public ImpactBasedBranching.AbstractImpactStrategy(ImpactBasedBranching branching,
                                                   ArrayList subset)
Method Detail

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.