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.8
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description void
onForget()
called when the solver's forget() method is applied.-
Methods inherited from interface org.jacop.jasat.core.SolverComponent
initialize
-
-