Package | Description |
---|---|
net.sf.tweety.arg.dung.parser |
Modifier and Type | Class and 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. |
Modifier and Type | Method and Description |
---|---|
static AbstractDungParser |
AbstractDungParser.getParser(FileFormat f)
Retrieves the parser for the given file format.
|