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 Constructor Description UPParser(UPParserTokenManager tm)
Constructor with generated Token Manager.
-