jsdsi
Class Proof.IncompatibleException

java.lang.Object
  extended byjava.lang.Throwable
      extended byjava.lang.Exception
          extended byjsdsi.Proof.IncompatibleException
All Implemented Interfaces:
java.io.Serializable
Enclosing class:
Proof

public static class Proof.IncompatibleException
extends java.lang.Exception

New Exception used by methods in this class.

Author:
Sameer Ajmani
See Also:
Serialized Form

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
 



Copyright © 2002-2006 JSDSI. All Rights Reserved.