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.
-