public class TheoremLoaderException extends LangException
Constructor and Description |
---|
TheoremLoaderException()
Default Constructor,
TheoremLoaderException . |
TheoremLoaderException(java.lang.String errorMessage)
Contructor,
TheoremLoaderException with error message. |
format