Uses of Class
org.tweetyproject.preferences.io.SimpleCharStream
-
Packages that use SimpleCharStream Package Description org.tweetyproject.preferences.io -
-
Uses of SimpleCharStream in org.tweetyproject.preferences.io
Methods in org.tweetyproject.preferences.io with parameters of type SimpleCharStream Modifier and Type Method Description void
POParserTokenManager. ReInit(SimpleCharStream stream)
void
POParserTokenManager. ReInit(SimpleCharStream stream, int lexState)
void
UPParserTokenManager. ReInit(SimpleCharStream stream)
Reinitialise parser.void
UPParserTokenManager. ReInit(SimpleCharStream stream, int lexState)
Reinitialise parser.Constructors in org.tweetyproject.preferences.io with parameters of type SimpleCharStream Constructor Description POParserTokenManager(SimpleCharStream stream)
POParserTokenManager(SimpleCharStream stream, int lexState)
UPParserTokenManager(SimpleCharStream stream)
Constructor.UPParserTokenManager(SimpleCharStream stream, int lexState)
Constructor.
-