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)	Translates a Negation from FOL into a StrictNegation for ASP.

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

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

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

Modifier	Constructor	Description
	StrictNegation(StrictNegation other)	Copy-Constructor