Uses of Class
org.tweetyproject.arg.dung.parser.AbstractDungParser

Packages that use AbstractDungParser

Package	Description
org.tweetyproject.arg.dung.parser

Uses of AbstractDungParser in org.tweetyproject.arg.dung.parser

Subclasses of AbstractDungParser in org.tweetyproject.arg.dung.parser

Modifier and Type	Class	Description
class	ApxParser	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.
class	CnfParser	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).
class	Iccma23Parser	Parses abstract argumentation frameworks in the ICCMA 23 format (see also https://iccma2023.github.io/rules.html#input-format).
class	TgfParser	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.

Methods in org.tweetyproject.arg.dung.parser that return AbstractDungParser

Modifier and Type	Method	Description
static AbstractDungParser	AbstractDungParser.getParser(FileFormat f)	Retrieves the parser for the given file format.