org.jacop.jasat.modules.interfaces

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.9

Author:

Simon Cruanes and Radoslaw Szymanek

Method Summary

Modifier and Type	Method and 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

Method Detail

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