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

Packages that use FormulaParser.PropContext

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

Uses of FormulaParser.PropContext in jtabwbx.prop.parser

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

Modifier and Type	Method and Description
void	FormulaListener.enterProp(FormulaParser.PropContext ctx) Enter a parse tree produced by the Prop labeled alternative in FormulaParser.wff().
void	FormulaBaseListener.enterProp(FormulaParser.PropContext ctx) Enter a parse tree produced by the Prop labeled alternative in FormulaParser.wff().
void	FormulaListener.exitProp(FormulaParser.PropContext ctx) Exit a parse tree produced by the Prop labeled alternative in FormulaParser.wff().
void	FormulaBaseListener.exitProp(FormulaParser.PropContext ctx) Exit a parse tree produced by the Prop labeled alternative in FormulaParser.wff().