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

Packages that use FormulaParser.NegContext

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

Uses of FormulaParser.NegContext in jtabwbx.prop.parser

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

Modifier and Type	Method and Description
void	FormulaListener.enterNeg(FormulaParser.NegContext ctx) Enter a parse tree produced by the Neg labeled alternative in FormulaParser.wff().
void	FormulaBaseListener.enterNeg(FormulaParser.NegContext ctx) Enter a parse tree produced by the Neg labeled alternative in FormulaParser.wff().
void	FormulaListener.exitNeg(FormulaParser.NegContext ctx) Exit a parse tree produced by the Neg labeled alternative in FormulaParser.wff().
void	FormulaBaseListener.exitNeg(FormulaParser.NegContext ctx) Exit a parse tree produced by the Neg labeled alternative in FormulaParser.wff().