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 literalsclass
DebugModule
module used for debug : it logs every event it is informed ofclass
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 variablesclass
WrapperDebugModule
a class used to debug, but with additional data
-