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

Packages that use ForgetListener

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

Uses of ForgetListener in org.jacop.jasat.core

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

Modifier and Type	Field	Description
ForgetListener[]	Core.forgetModules

Uses of ForgetListener in org.jacop.jasat.modules

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

Modifier and Type	Class	Description
class	DebugModule	module used for debug : it logs every event it is informed of
class	HeuristicForgetModule	A component that selects clauses to forget when solver.forget() is called.
class	StatModule	collects statistics about the solver

Uses of ForgetListener in org.jacop.satwrapper

Classes in org.jacop.satwrapper that implement ForgetListener

Modifier and Type	Class	Description
class	WrapperDebugModule	a class used to debug, but with additional data