Package net.sf.tweety.arg.dung.parser
Class TgfParser
- java.lang.Object
-
- net.sf.tweety.commons.Parser<DungTheory,Formula>
-
- net.sf.tweety.arg.dung.parser.AbstractDungParser
-
- net.sf.tweety.arg.dung.parser.TgfParser
-
public class TgfParser extends AbstractDungParser
Parses abstract argumentation frameworks given in the trivial graph format which is given by the following BNF (start symbol is S):
S ::== ARGUMENTS "#" "\n" ATTACKS
ARGUMENTS ::== "" | ARGUMENT "\n" ARGUMENTS
ATTACKS ::== "" | ATTACK "\n" ATTACKS
ATTACK ::== ARGUMENT ARGUMENT
where "ARGUMENT" represents any string (without blanks) as a terminal symbol.- Author:
- Matthias Thimm
-
-
Constructor Summary
Constructors Constructor Description TgfParser()
-
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.
-
-