choco.cp.solver.search.integer.varselector.ratioselector
Class DomOverWDegSelector
java.lang.Object
choco.kernel.solver.search.AbstractSearchHeuristic
choco.cp.solver.search.integer.varselector.ratioselector.AbstractIntVarRatioSelector
choco.cp.solver.search.integer.varselector.ratioselector.MinRatioSelector
choco.cp.solver.search.integer.varselector.ratioselector.DomOverWDegSelector
- All Implemented Interfaces:
- IntVarRatioSelector, VarSelector<IntDomainVar>, PropagationEngineListener, TiedIntVarSelector
public final class DomOverWDegSelector
- extends MinRatioSelector
- implements PropagationEngineListener
Methods inherited from class choco.cp.solver.search.integer.varselector.ratioselector.MinRatioSelector |
isUp |
DomOverWDegSelector
public DomOverWDegSelector(Solver solver,
IntDomainVar[] vars)
DomOverWDegSelector
public DomOverWDegSelector(Solver solver,
IntRatio[] varRatios)
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.