choco.cp.solver.search.integer.varselector.ratioselector
Class RandDomOverWDegSelector
java.lang.Object
choco.kernel.solver.search.AbstractSearchHeuristic
choco.cp.solver.search.integer.varselector.ratioselector.AbstractIntVarRatioSelector
choco.cp.solver.search.integer.varselector.ratioselector.RandMinRatioSelector
choco.cp.solver.search.integer.varselector.ratioselector.RandDomOverWDegSelector
- All Implemented Interfaces:
- IntVarRatioSelector, VarSelector<IntDomainVar>, PropagationEngineListener, TiedIntVarSelector
public final class RandDomOverWDegSelector
- extends RandMinRatioSelector
- implements PropagationEngineListener
reuseList
protected final gnu.trove.TIntArrayList reuseList
randomBreakTies
protected final Random randomBreakTies
RandDomOverWDegSelector
public RandDomOverWDegSelector(Solver solver,
IntDomainVar[] vars,
long seed)
RandDomOverWDegSelector
public RandDomOverWDegSelector(Solver solver,
IntRatio[] ratioVars,
long seed)
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.