Interface ExplanationListener
- All Superinterfaces:
SolverComponent
- All Known Implementing Classes:
DebugModule
,HeuristicForgetModule
,SatWrapper
,SearchModule
,WrapperDebugModule
module used when an explanation is found
- Version:
- 4.8
-
Method Summary
Methods inherited from interface org.jacop.jasat.core.SolverComponent
initialize
-
Method Details
-
onExplain
called when the conflict clause is explained- Parameters:
explanation
- the explanation clause
-