Uses of Class
org.tweetyproject.lp.asp.syntax.StrictNegation

Packages that use StrictNegation

Package	Description
org.tweetyproject.logics.translators.aspfol
org.tweetyproject.lp.asp.syntax

Uses of StrictNegation in org.tweetyproject.logics.translators.aspfol

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

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

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

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

Uses of StrictNegation in org.tweetyproject.lp.asp.syntax

Methods in org.tweetyproject.lp.asp.syntax that return StrictNegation

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

Constructors in org.tweetyproject.lp.asp.syntax with parameters of type StrictNegation

Constructor	Description
StrictNegation(StrictNegation other)	Copy-Constructor