Module org.chocosolver

Package org.chocosolver.solver.search.loop.monitors

Interface IMonitorContradiction

All Superinterfaces:

ISearchMonitor

All Known Implementing Classes:

ConflictOrderingSearch, CPProfiler, DomOverWDeg, GephiGenerator, GraphvizGenerator, ImpactBased, LastConflict, SearchMonitorList, SearchViz

public interface IMonitorContradiction
extends ISearchMonitor

An interface to monitor contradiction in search loop

Since:

13/12/12

Author:

Charles Prud'homme

Method Summary

Modifier and Type	Method	Description
void	onContradiction(ContradictionException cex)

Method Detail

onContradiction

void onContradiction(ContradictionException cex)