Interface ClauseListener
- All Superinterfaces:
SolverComponent
- All Known Implementing Classes:
ActivityModule
,DebugModule
,StatModule
,WrapperDebugModule
module that listens to add/removal of clauses
- Version:
- 4.10
-
Method Summary
Modifier and TypeMethodDescriptionvoid
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 removedMethods inherited from interface org.jacop.jasat.core.SolverComponent
initialize
-
Method Details
-
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
-