Package | Description |
---|---|
net.sf.tweety.arg.dung.parser |
Modifier and Type | Field and Description |
---|---|
static DungParserTokenManager |
DungParser.token_source
Generated Token Manager.
|
Modifier and Type | Method and Description |
---|---|
void |
DungParser.ReInit(DungParserTokenManager tm)
Reinitialise.
|
Constructor and Description |
---|
DungParser(DungParserTokenManager tm)
Constructor with generated Token Manager.
|