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

Packages that use ModalWffParser.BoxContext

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

Uses of ModalWffParser.BoxContext in jtabwbx.modal.parser

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

Modifier and Type	Method and Description
void	ModalWffListener.enterBox(ModalWffParser.BoxContext ctx) Enter a parse tree produced by the Box labeled alternative in ModalWffParser.wff().
void	ModalWffBaseListener.enterBox(ModalWffParser.BoxContext ctx) Enter a parse tree produced by the Box labeled alternative in ModalWffParser.wff().
void	ModalWffListener.exitBox(ModalWffParser.BoxContext ctx) Exit a parse tree produced by the Box labeled alternative in ModalWffParser.wff().
void	ModalWffBaseListener.exitBox(ModalWffParser.BoxContext ctx) Exit a parse tree produced by the Box labeled alternative in ModalWffParser.wff().