Package org.tweetyproject.arg.dung.parser

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