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

Packages that use FormulaParser.AndContext

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

Uses of FormulaParser.AndContext in jtabwbx.prop.parser

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

Modifier and Type	Method and Description
void	FormulaListener.enterAnd(FormulaParser.AndContext ctx) Enter a parse tree produced by the And labeled alternative in FormulaParser.wff().
void	FormulaBaseListener.enterAnd(FormulaParser.AndContext ctx) Enter a parse tree produced by the And labeled alternative in FormulaParser.wff().
void	FormulaListener.exitAnd(FormulaParser.AndContext ctx) Exit a parse tree produced by the And labeled alternative in FormulaParser.wff().
void	FormulaBaseListener.exitAnd(FormulaParser.AndContext ctx) Exit a parse tree produced by the And labeled alternative in FormulaParser.wff().