Package net.sf.tweety.arg.dung.parser

Interface Summary

Interface	Description
DungParserConstants	Token literal values and constants.

Class Summary

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 Summary

Enum	Description
FileFormat	This enum lists all supported file formats.

Exception Summary

Exception	Description
ParseException	This exception is thrown when parse errors are encountered.

Error Summary

Error	Description
TokenMgrError	Token Manager Error.