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

Packages that use BackjumpListener

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

Uses of BackjumpListener in org.jacop.jasat.core

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

Modifier and Type	Field	Description
BackjumpListener[]	Core.backjumpModules
BackjumpListener[]	Core.restartModules

Uses of BackjumpListener in org.jacop.jasat.modules

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

Modifier and Type	Class	Description
class	ActivityModule	counts the activity of literals
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	HeuristicRestartModule	A module that indicates if a restart would be useful now.
class	StatModule	collects statistics about the solver

Uses of BackjumpListener in org.jacop.satwrapper

Classes in org.jacop.satwrapper that implement BackjumpListener

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