Public Member Functions | |
| int | getLineNo () | 
| LogicParseException () | |
| LogicParseException (int lineNo) | |
Protected Attributes | |
| int | lineNo | 
This exception is thrown when an parse error occurs while parsing logical sentences.
Definition at line 35 of file LogicParseException.java.
| ATPInterface.LogicParseException.LogicParseException | ( | ) |  [inline] | 
        
Definition at line 39 of file LogicParseException.java.
| ATPInterface.LogicParseException.LogicParseException | ( | int | lineNo | ) |  [inline] | 
        
Definition at line 43 of file LogicParseException.java.
| int ATPInterface.LogicParseException.getLineNo | ( | ) |  [inline] | 
        
Definition at line 47 of file LogicParseException.java.
int ATPInterface.LogicParseException.lineNo [protected] | 
        
Definition at line 37 of file LogicParseException.java.