Uses of Interface
org.chocosolver.solver.search.loop.monitors.IMonitorContradiction

Packages that use IMonitorContradiction

Package	Description
org.chocosolver.solver.search.loop.monitors
org.chocosolver.solver.search.strategy.selectors.variables
org.chocosolver.solver.search.strategy.strategy

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 and Description
class	CPProfiler A search monitor to send data to cp-profiler.
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 and 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 and 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 Last Conflict heuristic Composite heuristic which hacks a mainStrategy by forcing the use of variables involved in recent conflicts