Interface StartStopListener
-
- All Superinterfaces:
SolverComponent
- All Known Implementing Classes:
DebugModule
,SatWrapper
,SearchModule
,StatModule
,WrapperDebugModule
public interface StartStopListener extends SolverComponent
called when the solver starts or stops.- Version:
- 4.7
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description void
onStart()
called when the solver starts search.void
onStop()
called when the solver stop search, for any reason-
Methods inherited from interface org.jacop.jasat.core.SolverComponent
initialize
-
-