Package org.tweetyproject.arg.dung.parser
package org.tweetyproject.arg.dung.parser
-
ClassDescriptionThis abstract class gives a template for parsers of files representing abstract argumentation frameworks.Filename filter for APX files.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.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).This enum lists all supported file formats.Parses abstract argumentation frameworks in the ICCMA 23 format (see also https://iccma2023.github.io/rules.html#input-format).Filename filter for TGF files.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.