Uses of Interface
org.chocosolver.solver.search.loop.monitors.IMonitorContradiction
-
-
Uses of IMonitorContradiction in org.chocosolver.solver.search.loop.monitors
Classes in org.chocosolver.solver.search.loop.monitors that implement IMonitorContradiction Modifier and Type Class Description class
SearchMonitorList
-
Uses of IMonitorContradiction in org.chocosolver.solver.search.strategy.selectors.variables
Classes in org.chocosolver.solver.search.strategy.selectors.variables that implement IMonitorContradiction Modifier and Type Class Description class
DomOverWDeg
Implementation of DowOverWDeg[1]class
ImpactBased
Implementation of the search described in: "Impact-Based Search Strategies for Constraint Programming", Philippe Refalo, CP2004. -
Uses of IMonitorContradiction in org.chocosolver.solver.search.strategy.strategy
Classes in org.chocosolver.solver.search.strategy.strategy that implement IMonitorContradiction Modifier and Type Class Description class
ConflictOrderingSearch<V extends Variable>
Conflict Ordering Search Composite heuristic which hacks a mainStrategy by forcing the use of variables involved in recent conflicts See "Conflict Ordering Search for Scheduling Problems", Steven Gay et al., CP2015.class
LastConflict<V extends Variable>
Last Conflict heuristic Composite heuristic which hacks a mainStrategy by forcing the use of variables involved in recent conflicts -
Uses of IMonitorContradiction in org.chocosolver.solver.trace
Classes in org.chocosolver.solver.trace that implement IMonitorContradiction Modifier and Type Class Description class
CPProfiler
A search monitor to send data to cp-profiler.class
GephiGenerator
Project: choco-solver.class
GraphvizGenerator
Project: choco-solver.class
SearchViz
Created by cprudhom on 22/10/2015.
-