Uses of Interface
org.jacop.jasat.modules.interfaces.ExplanationListener
Packages that use ExplanationListener
-
Uses of ExplanationListener in org.jacop.jasat.core
Fields in org.jacop.jasat.core declared as ExplanationListener -
Uses of ExplanationListener in org.jacop.jasat.modules
Classes in org.jacop.jasat.modules that implement ExplanationListenerModifier and TypeClassDescriptionfinal class
module used for debug : it logs every event it is informed offinal class
A component that selects clauses to forget when solver.forget() is called.final class
A basic searching component, which controls the solver to solve the problem -
Uses of ExplanationListener in org.jacop.satwrapper
Classes in org.jacop.satwrapper that implement ExplanationListenerModifier and TypeClassDescriptionfinal class
wrapper to communicate between SAT solver and CP solver.final class
a class used to debug, but with additional data