choco.cp.solver.constraints.strong
Class DomOverWDegRPC
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.constraints.strong.DomOverWDegRPC
- All Implemented Interfaces:
- VarSelector<IntDomainVar>, PropagationEngineListener, TiedIntVarSelector<IntDomainVar>
public class DomOverWDegRPC
- 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 |
DomOverWDegRPC
public DomOverWDegRPC(Solver solver)
DomOverWDegRPC
public DomOverWDegRPC(Solver solver,
IntDomainVar[] vs)
safeDelete
public void safeDelete()
- Define action to do just before a deletion.
- Specified by:
safeDelete
in interface PropagationEngineListener
getHeuristic
public double getHeuristic(IntDomainVar v)
- 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)
- Specified by:
contradictionOccured
in interface PropagationEngineListener
Copyright © 2012. All Rights Reserved.