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

Packages that use POParserTokenManager

Package	Description
org.tweetyproject.preferences.io

Uses of POParserTokenManager in org.tweetyproject.preferences.io

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

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

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

Modifier and Type	Method	Description
void	POParser.ReInit(POParserTokenManager tm)	Reinitializes the parser with a new POParserTokenManager.

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

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