| Interface | Description |
|---|---|
| ModalWffListener |
This interface defines a complete listener for a parse tree produced by
ModalWffParser. |
| Class | Description |
|---|---|
| ModalFormulaLexerSignalingErrors | |
| ModalFormulaParser |
A parser for propositional formulas.
|
| ModalWffBaseListener |
This class provides an empty implementation of
ModalWffListener,
which can be extended to create a listener which only needs to handle a subset
of the available methods. |
| ModalWffLexer | |
| ModalWffParser | |
| ModalWffParser.AndContext | |
| ModalWffParser.BoxContext | |
| ModalWffParser.DiaContext | |
| ModalWffParser.EqContext | |
| ModalWffParser.ImpContext | |
| ModalWffParser.ModalFormulaContext | |
| ModalWffParser.NegContext | |
| ModalWffParser.OrContext | |
| ModalWffParser.ParContext | |
| ModalWffParser.PropContext | |
| ModalWffParser.WffContext |
| Exception | Description |
|---|---|
| ModalFormulaParseException |
An error in the syntax of the formula.
|
| ParserError |