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

Packages that use ConflictListener

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

Uses of ConflictListener in org.jacop.jasat.core

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

Modifier and Type	Field and Description
ConflictListener[]	Core.conflictModules

Uses of ConflictListener in org.jacop.jasat.modules

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

Modifier and Type	Class and Description
class	ActivityModule counts the activity of literals
class	DebugModule module used for debug : it logs every event it is informed of
class	HeuristicRestartModule A module that indicates if a restart would be useful now.
class	StatModule collects statistics about the solver

Uses of ConflictListener in org.jacop.satwrapper

Classes in org.jacop.satwrapper that implement ConflictListener

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