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	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	Description
Negation	AspFolTranslator.toFOL(StrictNegation source)

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

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