RdlParser

java.lang.Object
- net.sf.tweety.commons.Parser<DefaultTheory,Formula>
- - net.sf.tweety.logics.rdl.parser.RdlParser

```
public class RdlParser
extends Parser<DefaultTheory,Formula>
```
This class implements a parser for default logic.

Author:

Nils Geilen

Constructor Summary

Constructors
Constructor Description

RdlParser()

Method Summary

Modifier and Type	Method	Description
`DefaultTheory`	`parseBeliefBase(java.io.Reader reader)`	Parses the given reader into a belief base of the given type.
`Formula`	`parseFormula(java.io.Reader reader)`	Parses the given reader into a formula of the given type.

Methods inherited from class net.sf.tweety.commons.Parser
isNumeric, parseBeliefBase, parseBeliefBaseFromFile, parseFormula, parseFormulaFromFile

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

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