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 |