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.7
    • Method Detail

      • onForget

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