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 |