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
-