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

Packages that use SolutionListener

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

Uses of SolutionListener in org.jacop.jasat.core

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

Modifier and Type	Field and Description
SolutionListener[]	Core.solutionModules

Uses of SolutionListener in org.jacop.jasat.modules

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

Modifier and Type	Class and Description
class	DebugModule module used for debug : it logs every event it is informed of
class	SearchModule A basic searching component, which controls the solver to solve the problem

Uses of SolutionListener in org.jacop.satwrapper

Classes in org.jacop.satwrapper that implement SolutionListener

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