Uses of Interface
org.jacop.jasat.modules.interfaces.SolutionListener
-
Packages that use SolutionListener Package Description org.jacop.jasat.core org.jacop.jasat.modules org.jacop.satwrapper -
-
Uses of SolutionListener in org.jacop.jasat.core
Fields in org.jacop.jasat.core declared as SolutionListener Modifier and Type Field Description SolutionListener[]
Core. solutionModules
-
Uses of SolutionListener in org.jacop.jasat.modules
Classes in org.jacop.jasat.modules that implement SolutionListener Modifier and Type Class Description class
DebugModule
module used for debug : it logs every event it is informed ofclass
SearchModule
A basic searching component, which controls the solver to solve the problem -
Uses of SolutionListener in org.jacop.satwrapper
Classes in org.jacop.satwrapper that implement SolutionListener Modifier and Type Class Description class
SatWrapper
wrapper to communicate between SAT solver and CP solver.class
WrapperDebugModule
a class used to debug, but with additional data
-