Package | Description |
---|---|
jtabwbx.modal.parser |
An ANTLR4 parser for propositional modal formulas.
|
Modifier and Type | Class and Description |
---|---|
static class |
ModalWffParser.AndContext |
static class |
ModalWffParser.BoxContext |
static class |
ModalWffParser.DiaContext |
static class |
ModalWffParser.EqContext |
static class |
ModalWffParser.ImpContext |
static class |
ModalWffParser.NegContext |
static class |
ModalWffParser.OrContext |
static class |
ModalWffParser.ParContext |
static class |
ModalWffParser.PropContext |
Modifier and Type | Method and Description |
---|---|
ModalWffParser.WffContext |
ModalWffParser.wff() |
ModalWffParser.WffContext |
ModalWffParser.ModalFormulaContext.wff() |
ModalWffParser.WffContext |
ModalWffParser.ParContext.wff() |
ModalWffParser.WffContext |
ModalWffParser.NegContext.wff() |
ModalWffParser.WffContext |
ModalWffParser.BoxContext.wff() |
ModalWffParser.WffContext |
ModalWffParser.DiaContext.wff() |
ModalWffParser.WffContext |
ModalWffParser.OrContext.wff(int i) |
ModalWffParser.WffContext |
ModalWffParser.AndContext.wff(int i) |
ModalWffParser.WffContext |
ModalWffParser.EqContext.wff(int i) |
ModalWffParser.WffContext |
ModalWffParser.ImpContext.wff(int i) |
Modifier and Type | Method and Description |
---|---|
java.util.List<ModalWffParser.WffContext> |
ModalWffParser.OrContext.wff() |
java.util.List<ModalWffParser.WffContext> |
ModalWffParser.AndContext.wff() |
java.util.List<ModalWffParser.WffContext> |
ModalWffParser.EqContext.wff() |
java.util.List<ModalWffParser.WffContext> |
ModalWffParser.ImpContext.wff() |
Modifier and Type | Method and Description |
---|---|
void |
ModalWffParser.WffContext.copyFrom(ModalWffParser.WffContext ctx) |
Constructor and Description |
---|
AndContext(ModalWffParser.WffContext ctx) |
BoxContext(ModalWffParser.WffContext ctx) |
DiaContext(ModalWffParser.WffContext ctx) |
EqContext(ModalWffParser.WffContext ctx) |
ImpContext(ModalWffParser.WffContext ctx) |
NegContext(ModalWffParser.WffContext ctx) |
OrContext(ModalWffParser.WffContext ctx) |
ParContext(ModalWffParser.WffContext ctx) |
PropContext(ModalWffParser.WffContext ctx) |