PlParser

java.lang.Object
- org.tweetyproject.commons.Parser<PlBeliefSet,PlFormula>
- - org.tweetyproject.logics.pl.parser.PlParser

Direct Known Subclasses:

QbfParser
```
public class PlParser
extends 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 "^^" 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(java.io.Reader reader)`	Parses the given reader into a belief base of the given type.
`PlFormula`	`parseFormula(java.io.Reader reader)`	Parses the given reader into a formula of the given type.

Methods inherited from class org.tweetyproject.commons.Parser
isNumeric, parseBeliefBase, parseBeliefBaseFromFile, parseFormula, parseFormulaFromFile, parseListOfBeliefBases, parseListOfBeliefBases, parseListOfBeliefBasesFromFile, parseListOfBeliefBasesFromFile

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - PlParser
```
public PlParser()
```
- Method Detail
  - parseBeliefBase
```
public PlBeliefSet parseBeliefBase(java.io.Reader reader)
                            throws ParserException
```
    Description copied from class: Parser
    
    Parses the given reader into a belief base of the given type.
    
    Specified by:
    
    parseBeliefBase in class Parser<PlBeliefSet,PlFormula>
    
    Parameters:
    
    reader - a reader
    
    Returns:
    
    a belief base
    
    Throws:
    
    ParserException - some parsing exceptions may be added here.
  - parseFormula
```
public PlFormula parseFormula(java.io.Reader reader)
                       throws ParserException
```
    Description copied from class: Parser
    
    Parses the given reader into a formula of the given type.
    
    Specified by:
    
    parseFormula in class Parser<PlBeliefSet,PlFormula>
    
    Parameters:
    
    reader - a reader
    
    Returns:
    
    a formula
    
    Throws:
    
    ParserException - some parsing exceptions may be added here.