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

Packages that use UPParserTokenManager

Package	Description
net.sf.tweety.preferences.io

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

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

Modifier and Type	Field and Description
UPParserTokenManager	UPParser.token_source Generated Token Manager.

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

Modifier and Type	Method and Description
void	UPParser.ReInit(UPParserTokenManager tm) Reinitialise.

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

Constructor and Description
UPParser(UPParserTokenManager tm) Constructor with generated Token Manager.