Uses of Class
net.sf.tweety.logics.fol.syntax.Negation

Packages that use Negation

Package	Description
net.sf.tweety.logics.fol.syntax
net.sf.tweety.logics.translators.aspfol

Uses of Negation in net.sf.tweety.logics.fol.syntax

Methods in net.sf.tweety.logics.fol.syntax that return Negation

Modifier and Type	Method and Description
Negation	Negation.clone()
Negation	Negation.substitute(Term<?> v, Term<?> t)

Uses of Negation in net.sf.tweety.logics.translators.aspfol

Methods in net.sf.tweety.logics.translators.aspfol that return Negation

Modifier and Type	Method and Description
Negation	AspFolTranslator.toFOL(DLPNeg source)

Methods in net.sf.tweety.logics.translators.aspfol with parameters of type Negation

Modifier and Type	Method and Description
DLPNeg	AspFolTranslator.toASP(Negation source)