| Package | Description |
|---|---|
| net.sf.tweety.arg.dung.syntax | |
| net.sf.tweety.logics.pl.syntax |
| Modifier and Type | Class and Description |
|---|---|
class |
DungSignature
This class captures the signature of a Dung theory,
i.e.
|
| Modifier and Type | Class and Description |
|---|---|
class |
PropositionalSignature
This class captures the signature of a specific
propositional language.
|