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

Packages that use ModalWffParser.OrContext

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

Uses of ModalWffParser.OrContext in jtabwbx.modal.parser

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

Modifier and Type	Method and Description
void	ModalWffListener.enterOr(ModalWffParser.OrContext ctx) Enter a parse tree produced by the Or labeled alternative in ModalWffParser.wff().
void	ModalWffBaseListener.enterOr(ModalWffParser.OrContext ctx) Enter a parse tree produced by the Or labeled alternative in ModalWffParser.wff().
void	ModalWffListener.exitOr(ModalWffParser.OrContext ctx) Exit a parse tree produced by the Or labeled alternative in ModalWffParser.wff().
void	ModalWffBaseListener.exitOr(ModalWffParser.OrContext ctx) Exit a parse tree produced by the Or labeled alternative in ModalWffParser.wff().