Package | Description |
---|---|
net.sf.tweety.logics.fol.syntax | |
net.sf.tweety.logics.translators.aspfol |
Modifier and Type | Method and Description |
---|---|
Negation |
Negation.clone() |
Negation |
Negation.substitute(Term<?> v,
Term<?> t) |
Modifier and Type | Method and Description |
---|---|
Negation |
AspFolTranslator.toFOL(DLPNeg source) |
Modifier and Type | Method and Description |
---|---|
DLPNeg |
AspFolTranslator.toASP(Negation source) |