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	Description
UPParserTokenManager	UPParser.token_source	Generated Token Manager.

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

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

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

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