Uses of Class
net.sf.tweety.arg.dung.parser.DungParserTokenManager

Packages that use DungParserTokenManager

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

Uses of DungParserTokenManager in net.sf.tweety.arg.dung.parser

Fields in net.sf.tweety.arg.dung.parser declared as DungParserTokenManager

Modifier and Type	Field and Description
static DungParserTokenManager	DungParser.token_source Generated Token Manager.

Methods in net.sf.tweety.arg.dung.parser with parameters of type DungParserTokenManager

Modifier and Type	Method and Description
void	DungParser.ReInit(DungParserTokenManager tm) Reinitialise.

Constructors in net.sf.tweety.arg.dung.parser with parameters of type DungParserTokenManager

Constructor and Description
DungParser(DungParserTokenManager tm) Constructor with generated Token Manager.