Package | Description |
---|---|
jtabwbx.prop.parser |
An ANTLR4 parser for propositional formulas.
|
Modifier and Type | Method and Description |
---|---|
org.antlr.v4.runtime.tree.ParseTree |
PropositionalFormulaParser.parse(java.lang.String str)
Parses the string given as argument and returns the corresponding
ParseTree . |