| Interface | Description |
|---|---|
| FormulaListener |
This interface defines a complete listener for a parse tree produced by
FormulaParser. |
| Class | Description |
|---|---|
| FormulaBaseListener |
This class provides an empty implementation of
FormulaListener,
which can be extended to create a listener which only needs to handle a subset
of the available methods. |
| FormulaLexer | |
| FormulaLexerSignalingErrors | |
| FormulaParser | |
| FormulaParser.AndContext | |
| FormulaParser.EqContext | |
| FormulaParser.FormulaContext | |
| FormulaParser.ImpContext | |
| FormulaParser.NegContext | |
| FormulaParser.OrContext | |
| FormulaParser.ParContext | |
| FormulaParser.PropContext | |
| FormulaParser.WffContext | |
| PropositionalFormulaParser |
A parser for propositional formulas.
|
| Exception | Description |
|---|---|
| FormulaParseException |
An error in the syntax of the formula.
|
| ParserError |