Interface | Description |
---|---|
DungParserConstants |
Token literal values and constants.
|
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).
|
DungParser |
This class implements a parser for dung argumentation theories.
|
DungParserTokenManager |
Token Manager.
|
SimpleCharStream |
An implementation of interface CharStream, where the stream is assumed to
contain only ASCII characters (without unicode processing).
|
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. |
Token |
Describes the input token stream.
|
Enum | Description |
---|---|
FileFormat |
This enum lists all supported file formats.
|
Exception | Description |
---|---|
ParseException |
This exception is thrown when parse errors are encountered.
|
Error | Description |
---|---|
TokenMgrError |
Token Manager Error.
|