Interface ClauseListener

    • 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