Class Summary Class Description AbstractEventObserverAn abstract class for event recording utility. EventRecorderAn explanation engine that learns general constraint from failures. ExplanationForSignedClauseAn implementation of
IExplanationdedicated to learn signed clauses
IExplanationAn abstract class that defines required methods for an explanation. ImplicationsA abstract class that maintains an implication graph, built from events generated thanks to the propagation. LazyImplicationsThis implication graph is lazily built.