Interface ForgetListener

All Superinterfaces:
SolverComponent
All Known Implementing Classes:
DebugModule, HeuristicForgetModule, StatModule, WrapperDebugModule

public interface ForgetListener extends SolverComponent
called when the solver forget() method is called. Those modules are intended to do the real work concerning forgetting clauses. Such modules typically register to other kinds of events, to get informations about which clauses appear in conflicts or propagations
Version:
4.10
  • Method Summary

    Modifier and Type
    Method
    Description
    void
    called when the solver's forget() method is applied.

    Methods inherited from interface org.jacop.jasat.core.SolverComponent

    initialize
  • Method Details

    • onForget

      void onForget()
      called when the solver's forget() method is applied.