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

Packages that use PropagateListener

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

Uses of PropagateListener in org.jacop.jasat.core

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

Modifier and Type	Field	Description
PropagateListener[]	Core.propagateModules

Uses of PropagateListener in org.jacop.jasat.modules

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

Modifier and Type	Class	Description
final class	DebugModule	module used for debug : it logs every event it is informed of
final class	StatModule	collects statistics about the solver

Uses of PropagateListener in org.jacop.satwrapper

Classes in org.jacop.satwrapper that implement PropagateListener

Modifier and Type	Class	Description
final class	SatChangesListener	this class listens to changes in literals in SAT solver, and reminds what changes this implies for CP variables
final class	WrapperDebugModule	a class used to debug, but with additional data