Uses of Class
jtabwbx.prop.parser.FormulaParser.FormulaContext

Packages that use FormulaParser.FormulaContext

Package	Description
jtabwbx.prop.parser	An ANTLR4 parser for propositional formulas.

Uses of FormulaParser.FormulaContext in jtabwbx.prop.parser

Methods in jtabwbx.prop.parser that return FormulaParser.FormulaContext

Modifier and Type	Method and Description
FormulaParser.FormulaContext	FormulaParser.formula()

Methods in jtabwbx.prop.parser with parameters of type FormulaParser.FormulaContext

Modifier and Type	Method and Description
void	FormulaListener.enterFormula(FormulaParser.FormulaContext ctx) Enter a parse tree produced by FormulaParser.formula().
void	FormulaBaseListener.enterFormula(FormulaParser.FormulaContext ctx) Enter a parse tree produced by FormulaParser.formula().
void	FormulaListener.exitFormula(FormulaParser.FormulaContext ctx) Exit a parse tree produced by FormulaParser.formula().
void	FormulaBaseListener.exitFormula(FormulaParser.FormulaContext ctx) Exit a parse tree produced by FormulaParser.formula().