Package net.sf.tweety.arg.aba.parser
Class AbaParser<T extends Formula>
- java.lang.Object
-
- net.sf.tweety.commons.Parser<AbaTheory<T>,Formula>
-
- net.sf.tweety.arg.aba.parser.AbaParser<T>
-
- Type Parameters:
T
- the type of formulas (language) that the ABA theory ranges over
public class AbaParser<T extends Formula> extends Parser<AbaTheory<T>,Formula>
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.- Author:
- Nils Geilen
-
-
Constructor Summary
Constructors Constructor Description AbaParser(Parser<? extends BeliefBase,? extends Formula> formulaparser)
Creates a new ABA parser
-
Method Summary
Modifier and Type Method Description java.lang.String
getSymbolArrow()
java.lang.String
getSymbolComma()
java.lang.String
getSymbolTrue()
AbaTheory<T>
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.void
setSymbolArrow(java.lang.String symbolArrow)
void
setSymbolComma(java.lang.String symbolComma)
void
setSymbolTrue(java.lang.String symbolTrue)
-
Methods inherited from class net.sf.tweety.commons.Parser
isNumeric, parseBeliefBase, parseBeliefBaseFromFile, parseFormula, parseFormulaFromFile
-
-
-
-
Constructor Detail
-
AbaParser
public AbaParser(Parser<? extends BeliefBase,? extends Formula> formulaparser)
Creates a new ABA parser- Parameters:
formulaparser
- parses formulae of the language
-
-
Method Detail
-
parseBeliefBase
public AbaTheory<T> 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 classParser<AbaTheory<T extends Formula>,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 classParser<AbaTheory<T extends Formula>,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.
-
getSymbolTrue
public java.lang.String getSymbolTrue()
- Returns:
- the symbolTrue
-
setSymbolTrue
public void setSymbolTrue(java.lang.String symbolTrue)
- Parameters:
symbolTrue
- the symbolTrue to set
-
getSymbolArrow
public java.lang.String getSymbolArrow()
- Returns:
- the symbolArrow
-
setSymbolArrow
public void setSymbolArrow(java.lang.String symbolArrow)
- Parameters:
symbolArrow
- the symbolArrow to set
-
getSymbolComma
public java.lang.String getSymbolComma()
- Returns:
- the symbolComma
-
setSymbolComma
public void setSymbolComma(java.lang.String symbolComma)
- Parameters:
symbolComma
- the symbolComma to set
-
-