case classProjectionException(message: String, original_proof: LKProof, new_proofs: List[LKProof], nested: Exception) extends Exception with Product with Serializable
Linear Supertypes
Serializable, Product, Equals, Exception, Throwable, Serializable, AnyRef, Any
This member is added by an implicit conversion from ProjectionException to
any2stringadd[ProjectionException] performed by method any2stringadd in scala.Predef.
This member is added by an implicit conversion from ProjectionException to
ArrowAssoc[ProjectionException] performed by method ArrowAssoc in scala.Predef.
This member is added by an implicit conversion from ProjectionException to
StringFormat[ProjectionException] performed by method StringFormat in scala.Predef.
This member is added by an implicit conversion from ProjectionException to
ArrowAssoc[ProjectionException] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Deprecated Value Members
defgetStackTraceString: String
Implicit information
This member is added by an implicit conversion from ProjectionException to
RichException performed by method RichException in scala.Predef.
Definition Classes
RichException
Annotations
@deprecated
Deprecated
(Since version 2.11.0) Use Throwable#getStackTrace