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)	Reinitializes the parser with a new token manager.

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

Modifier	Constructor	Description
	UPParser(UPParserTokenManager tm)	Constructs a parser with a provided token manager.