Uses of Class
org.tweetyproject.logics.fol.syntax.Negation
-
Packages that use Negation Package Description org.tweetyproject.logics.fol.syntax org.tweetyproject.logics.translators.aspfol -
-
Uses of Negation in org.tweetyproject.logics.fol.syntax
Methods in org.tweetyproject.logics.fol.syntax that return Negation Modifier and Type Method Description Negation
Negation. clone()
Negation
Negation. substitute(Term<?> v, Term<?> t)
-
Uses of Negation in org.tweetyproject.logics.translators.aspfol
Methods in org.tweetyproject.logics.translators.aspfol that return Negation Modifier and Type Method Description Negation
AspFolTranslator. toFOL(StrictNegation source)
Methods in org.tweetyproject.logics.translators.aspfol with parameters of type Negation Modifier and Type Method Description StrictNegation
AspFolTranslator. toASP(Negation source)
-