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

Author:

Simon Cruanes and Radoslaw Szymanek

Method Summary

Modifier and Type	Method and 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