Uses of Interface
org.jacop.jasat.modules.interfaces.AssertionListener
Packages that use AssertionListener
-
Uses of AssertionListener in org.jacop.jasat.core
Fields in org.jacop.jasat.core declared as AssertionListener -
Uses of AssertionListener in org.jacop.jasat.modules
Classes in org.jacop.jasat.modules that implement AssertionListenerModifier and TypeClassDescriptionfinal class
module used for debug : it logs every event it is informed offinal class
collects statistics about the solver -
Uses of AssertionListener in org.jacop.satwrapper
Classes in org.jacop.satwrapper that implement AssertionListenerModifier 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