Module dev.civl.sarl

Package dev.civl.sarl.IF

Class TheoremProverException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

dev.civl.sarl.IF.SARLException

dev.civl.sarl.IF.TheoremProverException

All Implemented Interfaces:

Serializable

public class TheoremProverException
extends SARLException

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
TheoremProverException(String message)

Method Summary

Methods inherited from class java.lang.Throwable

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

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

TheoremProverException

public TheoremProverException(String message)