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
  • Method Summary

    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 Details

    • 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