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

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.RandMinRatioSelector
              extended by choco.cp.solver.search.integer.varselector.ratioselector.RandDomOverWDegSelector
All Implemented Interfaces:
IntVarRatioSelector, VarSelector<IntDomainVar>, PropagationEngineListener, TiedIntVarSelector

public final class RandDomOverWDegSelector
extends RandMinRatioSelector
implements PropagationEngineListener


Field Summary
protected  Random randomBreakTies
           
protected  gnu.trove.TIntArrayList reuseList
           
 
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
RandDomOverWDegSelector(Solver solver, IntDomainVar[] vars, long seed)
           
RandDomOverWDegSelector(Solver solver, IntRatio[] ratioVars, long seed)
           
 
Method Summary
 void contradictionOccured(ContradictionException e)
           
 void safeDelete()
          Define action to do just before a deletion.
 int selectIntRatioIndex()
           
 String toString()
           
 
Methods inherited from class choco.cp.solver.search.integer.varselector.ratioselector.RandMinRatioSelector
isUp
 
Methods inherited from class choco.cp.solver.search.integer.varselector.ratioselector.AbstractIntVarRatioSelector
getRatios, selectIntRatio, 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
 

Field Detail

reuseList

protected final gnu.trove.TIntArrayList reuseList

randomBreakTies

protected final Random randomBreakTies
Constructor Detail

RandDomOverWDegSelector

public RandDomOverWDegSelector(Solver solver,
                               IntDomainVar[] vars,
                               long seed)

RandDomOverWDegSelector

public RandDomOverWDegSelector(Solver solver,
                               IntRatio[] ratioVars,
                               long seed)
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

selectIntRatioIndex

public int selectIntRatioIndex()
Specified by:
selectIntRatioIndex in interface IntVarRatioSelector
Overrides:
selectIntRatioIndex in class AbstractIntVarRatioSelector


Copyright © 2012. All Rights Reserved.