Package org.tweetyproject.arg.dung.parser

Class Iccma23Parser

java.lang.Object

org.tweetyproject.commons.Parser<DungTheory,Formula>

org.tweetyproject.arg.dung.parser.AbstractDungParser

org.tweetyproject.arg.dung.parser.Iccma23Parser

public class Iccma23Parser
extends AbstractDungParser

Parses abstract argumentation frameworks in the ICCMA 23 format (see also https://iccma2023.github.io/rules.html#input-format). It is given by the following BNF (start symbol is S):

S ::== PROBLEM "\n" ATTACKS
PROBLEM ::== "p af " INT
ATTACKS ::== (INT " " INT "\n")* where lines starting with "#" are comments and ignored during parsing. INT is a positive natural number. The line beginning with "p af" is the problem definition, it is followed by a positive integer which is the number of arguments. After the problem definition there is one line for each attack. The first integer in these lines describe the attacker of the attack and the second the attacked.

NOTE: this format is a slight variation of the CNF format (see CnfParser)

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
Iccma23Parser()

Method Summary

Modifier and Type	Method	Description
DungTheory	parse(Reader reader)	Parses the given file into an abstract argumentation framework

Methods inherited from class org.tweetyproject.arg.dung.parser.AbstractDungParser

getParser, parseArgumentList, parseBeliefBase, parseBoolean, parseExtensionList, parseFormula, parseJavaStringRepresentation, parseLabeling, parseLabelingList

Methods inherited from class org.tweetyproject.commons.Parser

isNumeric, parseBeliefBase, parseBeliefBaseFromFile, parseFormula, parseFormulaFromFile, parseListOfBeliefBases, parseListOfBeliefBases, parseListOfBeliefBasesFromFile, parseListOfBeliefBasesFromFile

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

Iccma23Parser

public Iccma23Parser()

Method Details

parse

public DungTheory parse(Reader reader)
                 throws IOException

Description copied from class: AbstractDungParser

Parses the given file into an abstract argumentation framework

Specified by:

parse in class AbstractDungParser

Parameters:

reader - some reader

Returns:

an abstract argumentation framework

Throws:

IOException - for all errors concerning file reading.