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.8
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description voidonStart()called when the solver starts search.voidonStop()called when the solver stop search, for any reason-
Methods inherited from interface org.jacop.jasat.core.SolverComponent
initialize
-
-