Interface SolutionListener
-
- All Superinterfaces:
SolverComponent
- All Known Implementing Classes:
DebugModule
,SatWrapper
,SearchModule
,WrapperDebugModule
public interface SolutionListener extends SolverComponent
module called when solution is found.- Version:
- 4.7
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description void
onSolution(boolean satisfiable)
a handler called when a solution is found.-
Methods inherited from interface org.jacop.jasat.core.SolverComponent
initialize
-
-