Package | Description |
---|---|
net.sf.tweety.arg.dung.ldo.syntax |
Modifier and Type | Class and Description |
---|---|
class |
LdoConjunction
This class represents a conjunction in ldo logic.
|
class |
LdoDisjunction
This class represents a disjunction in ldo logic.
|