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

Packages that use FormulaParser.ImpContext

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

Uses of FormulaParser.ImpContext in jtabwbx.prop.parser

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

Modifier and Type	Method and Description
void	FormulaListener.enterImp(FormulaParser.ImpContext ctx) Enter a parse tree produced by the Imp labeled alternative in FormulaParser.wff().
void	FormulaBaseListener.enterImp(FormulaParser.ImpContext ctx) Enter a parse tree produced by the Imp labeled alternative in FormulaParser.wff().
void	FormulaListener.exitImp(FormulaParser.ImpContext ctx) Exit a parse tree produced by the Imp labeled alternative in FormulaParser.wff().
void	FormulaBaseListener.exitImp(FormulaParser.ImpContext ctx) Exit a parse tree produced by the Imp labeled alternative in FormulaParser.wff().