jtp.proof
Class ImplicationConversionException

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

All Implemented Interfaces:

Serializable

public class ImplicationConversionException

extends Exception

See Also:

Serialized Form

Constructor Summary

ImplicationConversionException(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

ImplicationConversionException

public ImplicationConversionException(String msg)