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
-