Interface ExplanationListener
-
- All Superinterfaces:
SolverComponent
- All Known Implementing Classes:
DebugModule
,HeuristicForgetModule
,SatWrapper
,SearchModule
,WrapperDebugModule
public interface ExplanationListener extends SolverComponent
module used when an explanation is found- Version:
- 4.8
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description void
onExplain(MapClause explanation)
called when the conflict clause is explained-
Methods inherited from interface org.jacop.jasat.core.SolverComponent
initialize
-
-
-
-
Method Detail
-
onExplain
void onExplain(MapClause explanation)
called when the conflict clause is explained- Parameters:
explanation
- the explanation clause
-
-