Class CTMCResult

    • Constructor Detail

      • CTMCResult

        CTMCResult()
    • Method Detail

      • reset

         void reset()

        Resets all stored results to null and runtime to zero.