java.lang.Object
- net.sf.tweety.commons.Parser<ABATheory<T>,net.sf.tweety.commons.Formula>
- - net.sf.tweety.arg.aba.parser.ABAParser<T>

Type Parameters:

T - is the type of the language that the ABA theory ranges over
```
public class ABAParser<T extends net.sf.tweety.commons.Formula>
extends net.sf.tweety.commons.Parser<ABATheory<T>,net.sf.tweety.commons.Formula>
```
Author:

Nils Geilen Parses a Assumption Based Argumentation System out of an input text. With standard symbols, every line contains one of the following: <rule> ::= <head> '<-' <body>? <head> ::= <word> <body> ::= 'true' | <word> (',' <word>)* <assumption> ::= <word> <assumptions> ::= '{' <assumption> (',' <assumption>)* '}' with <word> in the theory's language.

Constructor Summary

Constructors
Constructor	Description
`ABAParser(net.sf.tweety.commons.Parser<? extends net.sf.tweety.commons.BeliefBase,? extends net.sf.tweety.commons.Formula> formulaparser)`	Create a new ABA parser

Method Summary

Modifier and Type	Method	Description
`String`	`getSymbolArrow()`
`String`	`getSymbolComma()`
`String`	`getSymbolTrue()`
`ABATheory<T>`	`parseBeliefBase(Reader reader)`
`net.sf.tweety.commons.Formula`	`parseFormula(Reader reader)`
`void`	`setSymbolArrow(String symbolArrow)`
`void`	`setSymbolComma(String symbolComma)`
`void`	`setSymbolTrue(String symbolTrue)`

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
  - ABAParser
```
public ABAParser(net.sf.tweety.commons.Parser<? extends net.sf.tweety.commons.BeliefBase,? extends net.sf.tweety.commons.Formula> formulaparser)
```
    Create a new ABA parser
    
    Parameters:
    
    formulaparser - parses formulae of the language
- Method Detail
  - parseBeliefBase
```
public ABATheory<T> parseBeliefBase(Reader reader)
                             throws IOException,
                                    net.sf.tweety.commons.ParserException
```
    Specified by:
    
    parseBeliefBase in class net.sf.tweety.commons.Parser<ABATheory<T extends net.sf.tweety.commons.Formula>,net.sf.tweety.commons.Formula>
    
    Throws:
    
    IOException
    
    net.sf.tweety.commons.ParserException
  - parseFormula
```
public net.sf.tweety.commons.Formula parseFormula(Reader reader)
                                           throws IOException,
                                                  net.sf.tweety.commons.ParserException
```
    Specified by:
    
    parseFormula in class net.sf.tweety.commons.Parser<ABATheory<T extends net.sf.tweety.commons.Formula>,net.sf.tweety.commons.Formula>
    
    Throws:
    
    IOException
    
    net.sf.tweety.commons.ParserException
  - getSymbolTrue
```
public String getSymbolTrue()
```
    Returns:
    
    the symbolTrue
  - setSymbolTrue
```
public void setSymbolTrue(String symbolTrue)
```
    Parameters:
    
    symbolTrue - the symbolTrue to set
  - getSymbolArrow
```
public String getSymbolArrow()
```
    Returns:
    
    the symbolArrow
  - setSymbolArrow
```
public void setSymbolArrow(String symbolArrow)
```
    Parameters:
    
    symbolArrow - the symbolArrow to set
  - getSymbolComma
```
public String getSymbolComma()
```
    Returns:
    
    the symbolComma
  - setSymbolComma
```
public void setSymbolComma(String symbolComma)
```
    Parameters:
    
    symbolComma - the symbolComma to set

Class ABAParser<T extends net.sf.tweety.commons.Formula>

Constructor Summary

Method Summary

Methods inherited from class net.sf.tweety.commons.Parser

Methods inherited from class java.lang.Object

Constructor Detail

ABAParser

Method Detail

parseBeliefBase

parseFormula

getSymbolTrue

setSymbolTrue

getSymbolArrow

setSymbolArrow

getSymbolComma

setSymbolComma