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