Package net.sf.tweety.arg.dung.parser
Class ApxParser
- java.lang.Object
-
- net.sf.tweety.commons.Parser<DungTheory,Formula>
-
- net.sf.tweety.arg.dung.parser.AbstractDungParser
-
- net.sf.tweety.arg.dung.parser.ApxParser
-
public class ApxParser extends AbstractDungParser
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 Description ApxParser()
-
Method Summary
Modifier and Type Method Description DungTheory
parse(java.io.Reader reader)
Parses the given file into an abstract argumentation framework-
Methods inherited from class net.sf.tweety.arg.dung.parser.AbstractDungParser
getParser, parseArgumentList, parseBeliefBase, parseBoolean, parseExtensionList, parseFormula, parseLabeling, parseLabelingList
-
Methods inherited from class net.sf.tweety.commons.Parser
isNumeric, parseBeliefBase, parseBeliefBaseFromFile, parseFormula, parseFormulaFromFile
-
-
-
-
Method Detail
-
parse
public DungTheory parse(java.io.Reader reader) throws java.io.IOException
Description copied from class:AbstractDungParser
Parses the given file into an abstract argumentation framework- Specified by:
parse
in classAbstractDungParser
- Parameters:
reader
- some reader- Returns:
- an abstract argumentation framework
- Throws:
java.io.IOException
- for all errors concerning file reading.
-
-