Interface ProofStatus

    • Method Summary

      Modifier and Type Method Description
      String getDescription()
      Returns the description of the proof verification result.
    • Method Detail

      • getDescription

        String getDescription()
        Returns the description of the proof verification result.