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