Uses of Class
jtabwbx.modal.parser.ModalWffParser.ParContext

Packages that use ModalWffParser.ParContext

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

Uses of ModalWffParser.ParContext in jtabwbx.modal.parser

Methods in jtabwbx.modal.parser with parameters of type ModalWffParser.ParContext

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