public class PropositionalFormulaParser
extends java.lang.Object
["_","a"-"z","A"-"Z"] | (["_","a"-"z","A"-"Z"] | ["0"-"9"])*
true
, false
~
(not): prefix, unary&
(and): infix, binary|
(or): infix, binary<=>
(iff): infix, binaryConstructor and Description |
---|
PropositionalFormulaParser()
Constructs a parser.
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getDescription()
Returns a description of the parser.
|
java.lang.String |
getName()
Returns the parser name.
|
org.antlr.v4.runtime.tree.ParseTree |
parse(java.lang.String str)
Parses the string given as argument and returns the corresponding
ParseTree . |
public PropositionalFormulaParser()
public org.antlr.v4.runtime.tree.ParseTree parse(java.lang.String str) throws FormulaParseException
ParseTree
.str
- the string describing the formula.FormulaParseException
- if an error occurs during parsing.public java.lang.String getName()
public java.lang.String getDescription()