| 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 |