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 DungTheoryparse(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:AbstractDungParserParses the given file into an abstract argumentation framework- Specified by:
 parsein classAbstractDungParser- Parameters:
 reader- some reader- Returns:
 - an abstract argumentation framework
 - Throws:
 java.io.IOException- for all errors concerning file reading.
 
 - 
 
 -