Package | Description |
---|---|
net.sf.tweety.argumentation.parameterisedhierarchy | |
net.sf.tweety.logics.translators.aspfol | |
net.sf.tweety.lp.asp.syntax |
Modifier and Type | Field and Description |
---|---|
(package private) DLPNeg |
ArgumentationReasonerTest.n_q |
(package private) DLPNeg |
ArgumentationReasonerTest.n_s |
Modifier and Type | Method and Description |
---|---|
DLPNeg |
AspFolTranslator.toASP(Negation source) |
Modifier and Type | Method and Description |
---|---|
Negation |
AspFolTranslator.toFOL(DLPNeg source) |
Modifier and Type | Method and Description |
---|---|
DLPNeg |
DLPNeg.clone() |
DLPNeg |
DLPAtom.complement() |
DLPNeg |
DLPNeg.substitute(Term<?> v,
Term<?> t) |
Constructor and Description |
---|
DLPNeg(DLPNeg other) |