choco.cp.solver.search.integer.varselector
Class DomOverWDeg
java.lang.Object
choco.kernel.solver.search.AbstractSearchHeuristic
choco.kernel.solver.search.integer.AbstractIntVarSelector
choco.kernel.solver.search.integer.HeuristicIntVarSelector
choco.kernel.solver.search.integer.DoubleHeuristicIntVarSelector
choco.cp.solver.search.integer.varselector.DomOverWDeg
- All Implemented Interfaces:
- VarSelector<IntDomainVar>, PropagationEngineListener, TiedIntVarSelector<IntDomainVar>
Deprecated. @see BranchingFactory
@Deprecated
public class DomOverWDeg
- extends DoubleHeuristicIntVarSelector
- implements PropagationEngineListener
History:
2007-12-07 : FR_1873619 CPRU: DomOverDeg+DomOverWDeg
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
DomOverWDeg
public DomOverWDeg(Solver solver)
- Deprecated.
DomOverWDeg
public DomOverWDeg(Solver solver,
IntDomainVar[] vs)
- Deprecated.
safeDelete
public void safeDelete()
- Deprecated.
- Define action to do just before a deletion.
- Specified by:
safeDelete
in interface PropagationEngineListener
initConstraintForBranching
public void initConstraintForBranching(SConstraint c)
- Deprecated.
getHeuristic
public double getHeuristic(IntDomainVar v)
- Deprecated.
- Description copied from class:
DoubleHeuristicIntVarSelector
- the heuristic that is minimized in order to find the best IntVar
- Specified by:
getHeuristic
in class DoubleHeuristicIntVarSelector
contradictionOccured
public void contradictionOccured(ContradictionException e)
- Deprecated.
- Specified by:
contradictionOccured
in interface PropagationEngineListener
Copyright © 2012. All Rights Reserved.