choco.cp.solver.constraints.strong
Class DomOverWDegRPC

java.lang.Object
  extended by choco.kernel.solver.search.AbstractSearchHeuristic
      extended by choco.kernel.solver.search.integer.AbstractIntVarSelector
          extended by choco.kernel.solver.search.integer.HeuristicIntVarSelector
              extended by choco.kernel.solver.search.integer.DoubleHeuristicIntVarSelector
                  extended by 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


Field Summary
 
Fields inherited from class choco.kernel.solver.search.integer.AbstractIntVarSelector
vars
 
Fields inherited from class choco.kernel.solver.search.AbstractSearchHeuristic
branching, solver
 
Constructor Summary
DomOverWDegRPC(Solver solver)
           
DomOverWDegRPC(Solver solver, IntDomainVar[] vs)
           
 
Method Summary
 void contradictionOccured(ContradictionException e)
           
 double getHeuristic(IntDomainVar v)
          the heuristic that is minimized in order to find the best IntVar
 void safeDelete()
          Define action to do just before a deletion.
 
Methods inherited from class choco.kernel.solver.search.integer.DoubleHeuristicIntVarSelector
getAllMinVars, getAllMinVars, getHeuristic, getMinVar, getMinVar, getMinVar
 
Methods inherited from class choco.kernel.solver.search.integer.HeuristicIntVarSelector
selectTiedIntVars, selectVar
 
Methods inherited from class choco.kernel.solver.search.integer.AbstractIntVarSelector
getVars, setVars
 
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, toString, wait, wait, wait
 

Constructor Detail

DomOverWDegRPC

public DomOverWDegRPC(Solver solver)

DomOverWDegRPC

public DomOverWDegRPC(Solver solver,
                      IntDomainVar[] vs)
Method Detail

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.