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

Packages that use ModalWffParser.PropContext

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

Uses of ModalWffParser.PropContext in jtabwbx.modal.parser

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

Modifier and Type	Method and Description
void	ModalWffListener.enterProp(ModalWffParser.PropContext ctx) Enter a parse tree produced by the Prop labeled alternative in ModalWffParser.wff().
void	ModalWffBaseListener.enterProp(ModalWffParser.PropContext ctx) Enter a parse tree produced by the Prop labeled alternative in ModalWffParser.wff().
void	ModalWffListener.exitProp(ModalWffParser.PropContext ctx) Exit a parse tree produced by the Prop labeled alternative in ModalWffParser.wff().
void	ModalWffBaseListener.exitProp(ModalWffParser.PropContext ctx) Exit a parse tree produced by the Prop labeled alternative in ModalWffParser.wff().