Interface StartStopListener
- All Superinterfaces:
SolverComponent
- All Known Implementing Classes:
DebugModule
,SatWrapper
,SearchModule
,StatModule
,WrapperDebugModule
called when the solver starts or stops.
- Version:
- 4.10
-
Method Summary
Methods inherited from interface org.jacop.jasat.core.SolverComponent
initialize
-
Method Details
-
onStart
void onStart()called when the solver starts search. It will be called only once. -
onStop
void onStop()called when the solver stop search, for any reason
-