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

Packages that use ModalWffParser.ModalFormulaContext

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

Uses of ModalWffParser.ModalFormulaContext in jtabwbx.modal.parser

Methods in jtabwbx.modal.parser that return ModalWffParser.ModalFormulaContext

Modifier and Type	Method and Description
ModalWffParser.ModalFormulaContext	ModalWffParser.modalFormula()

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

Modifier and Type	Method and Description
void	ModalWffListener.enterModalFormula(ModalWffParser.ModalFormulaContext ctx) Enter a parse tree produced by ModalWffParser.modalFormula().
void	ModalWffBaseListener.enterModalFormula(ModalWffParser.ModalFormulaContext ctx) Enter a parse tree produced by ModalWffParser.modalFormula().
void	ModalWffListener.exitModalFormula(ModalWffParser.ModalFormulaContext ctx) Exit a parse tree produced by ModalWffParser.modalFormula().
void	ModalWffBaseListener.exitModalFormula(ModalWffParser.ModalFormulaContext ctx) Exit a parse tree produced by ModalWffParser.modalFormula().