| Interface | Description |
|---|---|
| FolParserBConstants |
Token literal values and constants.
|
| Class | Description |
|---|---|
| FolParser |
This class implements a parser for first-order logic.
|
| FolParserB | |
| FolParserB.JJCalls | |
| FolParserBTokenManager | |
| FunctionalTest |
Functional test for the new javacc parser 'FolParserB'
|
| SimpleCharStream |
An implementation of interface CharStream, where the stream is assumed to
contain only ASCII characters (without unicode processing).
|
| Token |
Describes the input token stream.
|
| Exception | Description |
|---|---|
| ParseException |
This exception is thrown when parse errors are encountered.
|
| Error | Description |
|---|---|
| FolParserB.LookaheadSuccess | |
| TokenMgrError |
Token Manager Error.
|