Package | Description |
---|---|
net.sf.tweety.preferences.io |
Modifier and Type | Field and Description |
---|---|
UPParserTokenManager |
UPParser.token_source
Generated Token Manager.
|
Modifier and Type | Method and Description |
---|---|
void |
UPParser.ReInit(UPParserTokenManager tm)
Reinitialise.
|
Constructor and Description |
---|
UPParser(UPParserTokenManager tm)
Constructor with generated Token Manager.
|