Uses of Interface
org.jacop.jasat.modules.interfaces.ExplanationListener

Packages that use ExplanationListener

Package	Description
org.jacop.jasat.core
org.jacop.jasat.modules
org.jacop.satwrapper

Uses of ExplanationListener in org.jacop.jasat.core

Fields in org.jacop.jasat.core declared as ExplanationListener

Modifier and Type	Field	Description
ExplanationListener[]	Core.explanationModules

Uses of ExplanationListener in org.jacop.jasat.modules

Classes in org.jacop.jasat.modules that implement ExplanationListener

Modifier and Type	Class	Description
final class	DebugModule	module used for debug : it logs every event it is informed of
final class	HeuristicForgetModule	A component that selects clauses to forget when solver.forget() is called.
final class	SearchModule	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 ExplanationListener

Modifier and Type	Class	Description
final class	SatWrapper	wrapper to communicate between SAT solver and CP solver.
final class	WrapperDebugModule	a class used to debug, but with additional data