Uses of Class
net.sf.tweety.arg.dung.parser.AbstractDungParser
-
Packages that use AbstractDungParser Package Description net.sf.tweety.arg.dung.parser -
-
Uses of AbstractDungParser in net.sf.tweety.arg.dung.parser
Subclasses of AbstractDungParser in net.sf.tweety.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
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 net.sf.tweety.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.
-