Package | Description |
---|---|
net.sf.tweety.arg.dung.ldo.syntax |
Modifier and Type | Method and Description |
---|---|
LdoConjunction |
LdoConjunction.clone() |
LdoConjunction |
LdoFormula.combineWithAnd(Conjuctable f) |
LdoConjunction |
LdoConjunction.createEmptyFormula() |