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.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 clauseclauseId
- the clause's unique IdisModelClause
- 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
-
-