Package | Description |
---|---|
jtabwbx.prop.parser |
An ANTLR4 parser for propositional formulas.
|
Class and Description |
---|
FormulaLexer |
FormulaListener
This interface defines a complete listener for a parse tree produced by
FormulaParser . |
FormulaParseException
An error in the syntax of the formula.
|
FormulaParser.AndContext |
FormulaParser.EqContext |
FormulaParser.FormulaContext |
FormulaParser.ImpContext |
FormulaParser.NegContext |
FormulaParser.OrContext |
FormulaParser.ParContext |
FormulaParser.PropContext |
FormulaParser.WffContext |