choco.cp.solver.search.integer.varselector.ratioselector
Class DomOverWDegSelector

java.lang.Object
  extended by choco.kernel.solver.search.AbstractSearchHeuristic
      extended by choco.cp.solver.search.integer.varselector.ratioselector.AbstractIntVarRatioSelector
          extended by choco.cp.solver.search.integer.varselector.ratioselector.MinRatioSelector
              extended by choco.cp.solver.search.integer.varselector.ratioselector.DomOverWDegSelector
All Implemented Interfaces:
IntVarRatioSelector, VarSelector<IntDomainVar>, PropagationEngineListener, TiedIntVarSelector

public final class DomOverWDegSelector
extends MinRatioSelector
implements PropagationEngineListener


Field Summary
 
Fields inherited from class choco.cp.solver.search.integer.varselector.ratioselector.AbstractIntVarRatioSelector
ratios
 
Fields inherited from class choco.kernel.solver.search.AbstractSearchHeuristic
branching, solver
 
Fields inherited from interface choco.cp.solver.search.integer.varselector.ratioselector.IntVarRatioSelector
NULL
 
Constructor Summary
DomOverWDegSelector(Solver solver, IntDomainVar[] vars)
           
DomOverWDegSelector(Solver solver, IntRatio[] varRatios)
           
 
Method Summary
 void contradictionOccured(ContradictionException e)
           
 void safeDelete()
          Define action to do just before a deletion.
 String toString()
           
 
Methods inherited from class choco.cp.solver.search.integer.varselector.ratioselector.MinRatioSelector
isUp
 
Methods inherited from class choco.cp.solver.search.integer.varselector.ratioselector.AbstractIntVarRatioSelector
getRatios, selectIntRatio, selectIntRatioIndex, selectRandIntRatioIndex, selectTiedIntVars, selectVar
 
Methods inherited from class choco.kernel.solver.search.AbstractSearchHeuristic
getBranching, getSolver, setBranching
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

DomOverWDegSelector

public DomOverWDegSelector(Solver solver,
                           IntDomainVar[] vars)

DomOverWDegSelector

public DomOverWDegSelector(Solver solver,
                           IntRatio[] varRatios)
Method Detail

safeDelete

public final void safeDelete()
Description copied from interface: PropagationEngineListener
Define action to do just before a deletion.

Specified by:
safeDelete in interface PropagationEngineListener

contradictionOccured

public void contradictionOccured(ContradictionException e)
Specified by:
contradictionOccured in interface PropagationEngineListener

toString

public String toString()
Overrides:
toString in class Object


Copyright © 2012. All Rights Reserved.