jsdsi
Class Prover.ProofFoundException

java.lang.Object
  |
  +--java.lang.Throwable
        |
        +--java.lang.Exception
              |
              +--jsdsi.Prover.ProofFoundException

All Implemented Interfaces:

java.io.Serializable

Enclosing class:

Prover

static class Prover.ProofFoundException

extends java.lang.Exception

Field Summary

(package private) Proof

proof

Fields inherited from class java.lang.Exception

Constructor Summary

(package private)

Prover.ProofFoundException(Proof p)

Method Summary

(package private) Proof

getProof()

Methods inherited from class java.lang.Throwable

fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

proof

Proof proof

Constructor Detail

Prover.ProofFoundException

Prover.ProofFoundException(Proof p)

Method Detail

getProof

Proof getProof()