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

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	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