Package org.tweetyproject.arg.dung.parser

Class CnfParser

java.lang.Object

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

org.tweetyproject.arg.dung.parser.AbstractDungParser

org.tweetyproject.arg.dung.parser.CnfParser

public class CnfParser
extends AbstractDungParser

Parses abstract argumentation frameworks in the CNF/Dimacs format used for the SAT solver competition.

See also http://people.sc.fsu.edu/~jburkardt/data/cnf/cnf.html. It is given by the following BNF (start symbol is S):

S ::== COMMENTS "\n" PROBLEM "\n" ATTACKS
COMMENTS ::== ("c" COMMENT "\n")*
PROBLEM ::== "p af " INT INT
ATTACKS ::== (INT " -" INT " 0\n")* where "COMMENT" represents any string, and INT is a positive natural number. Lines beginning with "c" are comment lines and are ignored by the parser. The line beginning with "p af" is the problem definition, it is followed by two positive integers where the first is the number of arguments and the second is the number of attacks in the given framework. 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 (the attacked is also prefixed by a minus sign "-"). Each line of an attack ends with "0" and a line break.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
CnfParser()	Creates a new CNF parser.

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, parseListOfFormulae

Methods inherited from class java.lang.Object

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

Constructor Details

CnfParser

public CnfParser()

Creates a new CNF parser.

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.