Interface ForgetListener
- All Superinterfaces:
SolverComponent
- All Known Implementing Classes:
DebugModule
,HeuristicForgetModule
,StatModule
,WrapperDebugModule
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 TypeMethodDescriptionvoid
onForget()
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.
-