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 and Description
protected SimpleCharStream	POParserTokenManager.input_stream
protected SimpleCharStream	UPParserTokenManager.input_stream
(package private) SimpleCharStream	UPParser.jj_input_stream
(package private) SimpleCharStream	POParser.jj_input_stream

Methods in net.sf.tweety.preferences.io with parameters of type SimpleCharStream

Modifier and Type	Method and Description
void	POParserTokenManager.ReInit(SimpleCharStream stream) Reinitialise parser.
void	UPParserTokenManager.ReInit(SimpleCharStream stream) Reinitialise parser.
void	POParserTokenManager.ReInit(SimpleCharStream stream, int lexState) Reinitialise parser.
void	UPParserTokenManager.ReInit(SimpleCharStream stream, int lexState) Reinitialise parser.

Constructors in net.sf.tweety.preferences.io with parameters of type SimpleCharStream

Constructor and Description
POParserTokenManager(SimpleCharStream stream) Constructor.
POParserTokenManager(SimpleCharStream stream, int lexState) Constructor.
UPParserTokenManager(SimpleCharStream stream) Constructor.
UPParserTokenManager(SimpleCharStream stream, int lexState) Constructor.