QbfParser

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

```
public class QbfParser
extends PlParser
```
This class implements a parser for quantified boolean formulas. The BNF for a qbf belief set is given by (starting symbol is KB)

KB ::== VARDECLAR FORMULAS
VARDECLAR ::== "{" (VARIABLENAME ("," VARIABLENAME)*)? "}"
FORMULAS ::== FORMULA ( "\n" FORMULA )*
FORMULA ::== VARIABLENAME | "(" FORMULA ")" | FORMULA ">>" FORMULA | FORMULA "||" FORMULA | FORMULA "=>" FORMULA | FORMULA "<=>" FORMULA | "!" FORMULA | "+" | "-" | "forall" VARIABLENAME ":" "(" FORMULA ")" | "exists" VARIABLENAME ":" "(" FORMULA ")" |

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

Author:

Anna Gessler, Matthias Thimm

Constructor Summary

Constructors
Constructor Description

QbfParser()

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
  - QbfParser
```
public QbfParser()
```
- 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.
    
    Overrides:
    
    parseBeliefBase in class PlParser
    
    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.
    
    Overrides:
    
    parseFormula in class PlParser
    
    Parameters:
    
    reader - a reader
    
    Returns:
    
    a formula
    
    Throws:
    
    ParserException - some parsing exceptions may be added here.