Interface AssertionListener

    • Method Detail

      • onAssertion

        void onAssertion​(int literal,
                         int level)
        Called when a variable is set
        Parameters:
        literal - the literal that is set propagation, false otherwise
        level - the search level