Uses of Class
net.sf.tweety.preferences.io.SimpleCharStream
-
Packages that use SimpleCharStream Package Description net.sf.tweety.preferences.io -
-
Uses of SimpleCharStream in net.sf.tweety.preferences.io
Fields in net.sf.tweety.preferences.io declared as SimpleCharStream Modifier and Type Field Description protected SimpleCharStream
POParserTokenManager. input_stream
protected SimpleCharStream
UPParserTokenManager. input_stream
(package private) SimpleCharStream
POParser. jj_input_stream
(package private) SimpleCharStream
UPParser. jj_input_stream
Methods in net.sf.tweety.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 net.sf.tweety.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.
-