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.
|