Interface ExplanationListener

    • Method Detail

      • onExplain

        void onExplain​(MapClause explanation)
        called when the conflict clause is explained
        Parameters:
        explanation - the explanation clause