Package | Description |
---|---|
org.processmining.plugins.ltlchecker.parser |
Modifier and Type | Field and Description |
---|---|
protected SimpleCharStream |
LTLParserTokenManager.input_stream |
Modifier and Type | Method and Description |
---|---|
void |
LTLParserTokenManager.ReInit(SimpleCharStream stream) |
void |
LTLParserTokenManager.ReInit(SimpleCharStream stream,
int lexState) |
Constructor and Description |
---|
LTLParserTokenManager(SimpleCharStream stream) |
LTLParserTokenManager(SimpleCharStream stream,
int lexState) |