org.jacop.jasat.modules.interfaces

Interface ClauseListener

All Superinterfaces:

SolverComponent

All Known Implementing Classes:

ActivityModule, DebugModule, StatModule, WrapperDebugModule

public interface ClauseListener
extends SolverComponent

module that listens to add/removal of clauses

Version:

4.9

Author:

Simon Cruanes and Radoslaw Szymanek

Method Summary

Modifier and Type	Method and Description
void	onClauseAdd(int[] clause, int clauseId, boolean isModelClause) called when the given clause is added.
void	onClauseRemoval(int clauseId) called when the clause with unique Id @param clauseId is removed

Methods inherited from interface org.jacop.jasat.core.SolverComponent

initialize

Method Detail

onClauseAdd

void onClauseAdd(int[] clause,
                 int clauseId,
                 boolean isModelClause)

called when the given clause is added.

Parameters:

clause - the clause

clauseId - the clause's unique Id

isModelClause - is this clause a model clause ?

onClauseRemoval

void onClauseRemoval(int clauseId)

called when the clause with unique Id @param clauseId is removed

Parameters:

clauseId - the id