Uses of Class
net.sf.tweety.lp.asp.syntax.StrictNegation

Packages that use StrictNegation

Package	Description
net.sf.tweety.logics.translators.aspfol
net.sf.tweety.lp.asp.syntax

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

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

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

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

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

Uses of StrictNegation in net.sf.tweety.lp.asp.syntax

Methods in net.sf.tweety.lp.asp.syntax that return StrictNegation

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

Constructors in net.sf.tweety.lp.asp.syntax with parameters of type StrictNegation

Constructor	Description
StrictNegation(StrictNegation other)	Copy-Constructor