net.sf.tweety.arg.dung.parser

Class ApxParser

java.lang.Object

net.sf.tweety.commons.Parser<DungTheory>

net.sf.tweety.arg.dung.parser.ApxParser

public class ApxParser
extends net.sf.tweety.commons.Parser<DungTheory>

Parses abstract argumentation frameworks in the logic programming format which is given by the following BNF (start symbol is S):

S ::== "" | "arg" "(" ARGUMENT ")" "\n" S | "att" "(" ARGUMENT "," ARGUMENT ")" "\n" S
where "ARGUMENT" represents any string (without blanks) as a terminal symbol.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
ApxParser()

Method Summary

Modifier and Type	Method and Description
DungTheory	parseBeliefBase(Reader reader)
net.sf.tweety.commons.Formula	parseFormula(Reader reader)

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

ApxParser

public ApxParser()

Method Detail

parseBeliefBase

public DungTheory parseBeliefBase(Reader reader)
                           throws IOException,
                                  net.sf.tweety.commons.ParserException

Specified by:

parseBeliefBase in class net.sf.tweety.commons.Parser<DungTheory>

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<DungTheory>

Throws:

IOException

net.sf.tweety.commons.ParserException