Uses of Class
org.tweetyproject.logics.fol.syntax.Negation

Packages that use Negation

Package	Description
org.tweetyproject.logics.fol.syntax
org.tweetyproject.logics.translators.aspfol

Uses of Negation in org.tweetyproject.logics.fol.syntax

Methods in org.tweetyproject.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 org.tweetyproject.logics.translators.aspfol

Methods in org.tweetyproject.logics.translators.aspfol that return Negation

Modifier and Type	Method	Description
Negation	AspFolTranslator.toFOL(StrictNegation source)	Translates a StrictNegation into a Negation for FOL.

Methods in org.tweetyproject.logics.translators.aspfol with parameters of type Negation

Modifier and Type	Method	Description
StrictNegation	AspFolTranslator.toASP(Negation source)	Translates a Negation from FOL into a StrictNegation for ASP.