Uses of Interface
org.jacop.jasat.modules.interfaces.AssertionListener
-
Packages that use AssertionListener Package Description org.jacop.jasat.core org.jacop.jasat.modules org.jacop.satwrapper -
-
Uses of AssertionListener in org.jacop.jasat.core
Fields in org.jacop.jasat.core declared as AssertionListener Modifier and Type Field Description AssertionListener[]
Core. assertionModules
-
Uses of AssertionListener in org.jacop.jasat.modules
Classes in org.jacop.jasat.modules that implement AssertionListener Modifier and Type Class Description class
DebugModule
module used for debug : it logs every event it is informed ofclass
StatModule
collects statistics about the solver -
Uses of AssertionListener in org.jacop.satwrapper
Classes in org.jacop.satwrapper that implement AssertionListener 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
-