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

    Modifier and Type
    Method
    Description
    void
    called when the solver starts search.
    void
    called when the solver stop search, for any reason

    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