Uses of Interface
org.jacop.jasat.modules.interfaces.PropagateListener
-
Packages that use PropagateListener Package Description org.jacop.jasat.core org.jacop.jasat.modules org.jacop.satwrapper -
-
Uses of PropagateListener in org.jacop.jasat.core
Fields in org.jacop.jasat.core declared as PropagateListener Modifier and Type Field Description PropagateListener[]
Core. propagateModules
-
Uses of PropagateListener in org.jacop.jasat.modules
Classes in org.jacop.jasat.modules that implement PropagateListener 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 PropagateListener in org.jacop.satwrapper
Classes in org.jacop.satwrapper that implement PropagateListener 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
-