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

Packages that use FormulaParser.ParContext

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

Uses of FormulaParser.ParContext in jtabwbx.prop.parser

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

Modifier and Type	Method and Description
void	FormulaListener.enterPar(FormulaParser.ParContext ctx) Enter a parse tree produced by the Par labeled alternative in FormulaParser.wff().
void	FormulaBaseListener.enterPar(FormulaParser.ParContext ctx) Enter a parse tree produced by the Par labeled alternative in FormulaParser.wff().
void	FormulaListener.exitPar(FormulaParser.ParContext ctx) Exit a parse tree produced by the Par labeled alternative in FormulaParser.wff().
void	FormulaBaseListener.exitPar(FormulaParser.ParContext ctx) Exit a parse tree produced by the Par labeled alternative in FormulaParser.wff().