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

Packages that use ModalWffParser.DiaContext

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

Uses of ModalWffParser.DiaContext in jtabwbx.modal.parser

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

Modifier and Type	Method and Description
void	ModalWffListener.enterDia(ModalWffParser.DiaContext ctx) Enter a parse tree produced by the Dia labeled alternative in ModalWffParser.wff().
void	ModalWffBaseListener.enterDia(ModalWffParser.DiaContext ctx) Enter a parse tree produced by the Dia labeled alternative in ModalWffParser.wff().
void	ModalWffListener.exitDia(ModalWffParser.DiaContext ctx) Exit a parse tree produced by the Dia labeled alternative in ModalWffParser.wff().
void	ModalWffBaseListener.exitDia(ModalWffParser.DiaContext ctx) Exit a parse tree produced by the Dia labeled alternative in ModalWffParser.wff().