Public Member Functions
	ParserErrorException ()
	ParserErrorException (String str)

Detailed Description

Definition at line 43 of file ParserErrorException.java.

Constructor & Destructor Documentation

theoremprover.ParserErrorException.ParserErrorException ( ) [inline]

Definition at line 47 of file ParserErrorException.java.

theoremprover.ParserErrorException.ParserErrorException ( String str ) [inline]

Definition at line 51 of file ParserErrorException.java.

The documentation for this class was generated from the following file: