Uses of Interface
org.jacop.jasat.modules.interfaces.BackjumpListener
Packages that use BackjumpListener
-
Uses of BackjumpListener in org.jacop.jasat.core
Fields in org.jacop.jasat.core declared as BackjumpListener -
Uses of BackjumpListener in org.jacop.jasat.modules
Classes in org.jacop.jasat.modules that implement BackjumpListenerModifier and TypeClassDescriptionfinal class
counts the activity of literalsfinal class
module used for debug : it logs every event it is informed offinal class
A component that selects clauses to forget when solver.forget() is called.final class
A module that indicates if a restart would be useful now.final class
collects statistics about the solver -
Uses of BackjumpListener in org.jacop.satwrapper
Classes in org.jacop.satwrapper that implement BackjumpListenerModifier and TypeClassDescriptionfinal class
this class listens to changes in literals in SAT solver, and reminds what changes this implies for CP variablesfinal class
a class used to debug, but with additional data