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.
|
Copyright © 2018. All rights reserved.