Package | Description |
---|---|
net.sf.tweety.arg.dung.parser |
Modifier and Type | Field and Description |
---|---|
protected static SimpleCharStream |
DungParserTokenManager.input_stream |
(package private) static SimpleCharStream |
DungParser.jj_input_stream |
Modifier and Type | Method and Description |
---|---|
static void |
DungParserTokenManager.ReInit(SimpleCharStream stream)
Reinitialise parser.
|
static void |
DungParserTokenManager.ReInit(SimpleCharStream stream,
int lexState)
Reinitialise parser.
|
Constructor and Description |
---|
DungParserTokenManager(SimpleCharStream stream)
Constructor.
|
DungParserTokenManager(SimpleCharStream stream,
int lexState)
Constructor.
|