jtp.proof
Class ProofExtractionException

java.lang.Object
  |
  +--java.lang.Throwable
        |
        +--java.lang.Exception
              |
              +--jtp.proof.ProofExtractionException

All Implemented Interfaces:

Serializable

public class ProofExtractionException

extends Exception

See Also:

Serialized Form

Constructor Summary

ProofExtractionException(Exception e)

ProofExtractionException(String msg)

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

Constructor Detail

ProofExtractionException

public ProofExtractionException(String msg)

ProofExtractionException

public ProofExtractionException(Exception e)