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