Uses of Class
org.tweetyproject.preferences.io.UPParserTokenManager

Packages that use UPParserTokenManager

Package	Description
org.tweetyproject.preferences.io

Uses of UPParserTokenManager in org.tweetyproject.preferences.io

Fields in org.tweetyproject.preferences.io declared as UPParserTokenManager

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

Methods in org.tweetyproject.preferences.io with parameters of type UPParserTokenManager

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

Constructors in org.tweetyproject.preferences.io with parameters of type UPParserTokenManager

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