Package | Description |
---|---|
jtabwbx.modal.parser |
An ANTLR4 parser for propositional modal formulas.
|
Class and Description |
---|
ModalFormulaParseException
An error in the syntax of the formula.
|
ModalWffLexer |
ModalWffListener
This interface defines a complete listener for a parse tree produced by
ModalWffParser . |
ModalWffParser.AndContext |
ModalWffParser.BoxContext |
ModalWffParser.DiaContext |
ModalWffParser.EqContext |
ModalWffParser.ImpContext |
ModalWffParser.ModalFormulaContext |
ModalWffParser.NegContext |
ModalWffParser.OrContext |
ModalWffParser.ParContext |
ModalWffParser.PropContext |
ModalWffParser.WffContext |