Interface OracleListener

    • Method Detail

      • processOracleStart

        void processOracleStart​(OracleStartMessage msg)
        Processes oracle start message.
      • processOracleEnd

        void processOracleEnd​(OracleEndMessage msg)
        Processes oracle end message.
      • processPreEnd

        void processPreEnd​(boolean verdict)
        Processes end check of precondition message.
      • processPostEnd

        void processPostEnd​(boolean verdict)
        Processes end check of postcondition message.
      • processFormulaMessage

        void processFormulaMessage​(FormulaMessage msg)
        Processes message about formulas: decodings and values.
      • processMark

        void processMark​(MarkMessage msg)
        Processes message about named mark (mark, branch).