PropositionalParser (LogicNG ANTLR Parser 2.6.0 API)

java.lang.Object
- org.logicng.io.parsers.FormulaParser
- - org.logicng.io.parsers.PropositionalParser

```
public final class PropositionalParser
extends FormulaParser
```
A parser for propositional formulas.
The syntax for propositional formulas in LogicNG is:
- $true for the constant TRUE
- $false for the constant FALSE
- ~ for the negation
- | for the disjunction (OR)
- & for the conjunction (AND)
- => for the implication
- <=> for the equivalence
Brackets are ( and ). For variable names, there are the following rules:
- must begin with a alphabetic character, _, @, or #
- can only contain alphanumerical character, _, or #
- @ is only allowed at the beginning of the variable name and is reserved for special internal variables
Since:

1.0

Version:

2.4.1

- Constructor Summary
  
  Constructors
  Constructor Description
  
  PropositionalParser(org.logicng.formulas.FormulaFactory f)
  Constructs a new parser.
- Method Summary
  - Methods inherited from class org.logicng.io.parsers.FormulaParser
    factory, parse, parse, setLexerAndParser, toString
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

- Constructor Detail
  - PropositionalParser
```
public PropositionalParser(org.logicng.formulas.FormulaFactory f)
```
    Constructs a new parser.
    
    Parameters:
    
    f - the formula factory