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.