Uses of Class
net.sf.tweety.preferences.io.POParserTokenManager

Packages that use POParserTokenManager

Package	Description
net.sf.tweety.preferences.io

Uses of POParserTokenManager in net.sf.tweety.preferences.io

Fields in net.sf.tweety.preferences.io declared as POParserTokenManager

Modifier and Type	Field and Description
POParserTokenManager	POParser.token_source Generated Token Manager.

Methods in net.sf.tweety.preferences.io with parameters of type POParserTokenManager

Modifier and Type	Method and Description
void	POParser.ReInit(POParserTokenManager tm) Reinitialise.

Constructors in net.sf.tweety.preferences.io with parameters of type POParserTokenManager

Constructor and Description
POParser(POParserTokenManager tm) Constructor with generated Token Manager.