PlParser (Tweety (Propositional Logic) 1.14 API)

java.lang.Object
- net.sf.tweety.commons.Parser<PlBeliefSet,PlFormula>
- - net.sf.tweety.logics.pl.parser.PlParser

```
public class PlParser
extends net.sf.tweety.commons.Parser<PlBeliefSet,PlFormula>
```
This class implements a parser for propositional logic. The BNF for a propositional belief set is given by (starting symbol is FORMULASET)

FORMULASET ::== FORMULA ( "\n" FORMULA )*
FORMULA ::== PROPOSITION | "(" FORMULA ")" | FORMULA ">>" FORMULA | FORMULA "||" FORMULA | FORMULA "=>" FORMULA | FORMULA "<=>" FORMULA | "!" FORMULA | "+" | "-"

PROPOSITION is a sequence of characters excluding |,&,!,(,),=,<,> and whitespace characters.

Author:

Matthias Thimm, Bastian Wolf

- Constructor Summary
  
  Constructors
  Constructor Description
  
  PlParser()
- Method Summary
  
  Modifier and Type Method Description
  
  PlBeliefSet parseBeliefBase(Reader reader)
  
  PlFormula parseFormula(Reader reader)
  - Methods inherited from class net.sf.tweety.commons.Parser
    isNumeric, parseBeliefBase, parseBeliefBaseFromFile, parseFormula, parseFormulaFromFile
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - PlParser
```
public PlParser()
```
- Method Detail
  - parseBeliefBase
```
public PlBeliefSet parseBeliefBase(Reader reader)
                            throws net.sf.tweety.commons.ParserException
```
    Specified by:
    
    parseBeliefBase in class net.sf.tweety.commons.Parser<PlBeliefSet,PlFormula>
    
    Throws:
    
    net.sf.tweety.commons.ParserException
  - parseFormula
```
public PlFormula parseFormula(Reader reader)
                       throws net.sf.tweety.commons.ParserException
```
    Specified by:
    
    parseFormula in class net.sf.tweety.commons.Parser<PlBeliefSet,PlFormula>
    
    Throws:
    
    net.sf.tweety.commons.ParserException