Module org.chocosolver

Package org.chocosolver.solver.learn

Class Summary

Class	Description
AbstractEventObserver	An abstract class for event recording utility.
EventRecorder	An explanation engine that learns general constraint from failures.
ExplanationForSignedClause	An implementation of IExplanation dedicated to learn signed clauses
IExplanation	An abstract class that defines required methods for an explanation.
Implications	A abstract class that maintains an implication graph, built from events generated thanks to the propagation.
LazyImplications	This implication graph is lazily built.