Interface SolutionListener
- All Superinterfaces:
SolverComponent
- All Known Implementing Classes:
DebugModule
,SatWrapper
,SearchModule
,WrapperDebugModule
module called when solution is found.
- Version:
- 4.10
-
Method Summary
Modifier and TypeMethodDescriptionvoid
onSolution
(boolean satisfiable) a handler called when a solution is found.Methods inherited from interface org.jacop.jasat.core.SolverComponent
initialize
-
Method Details
-
onSolution
void onSolution(boolean satisfiable) a handler called when a solution is found.- Parameters:
satisfiable
- true when the solution is Satisfiable, false if it is Unsatisfiable.
-