Package org.jacop.jasat.modules.interfaces

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.10

Method Summary

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 Details

onExplain

void onExplain(MapClause explanation)

called when the conflict clause is explained

Parameters:

explanation - the explanation clause