Uses of Class
org.tweetyproject.lp.asp.syntax.StrictNegation
-
Uses of StrictNegation in org.tweetyproject.logics.translators.aspfol
-
Uses of StrictNegation in org.tweetyproject.lp.asp.syntax
Modifier and TypeMethodDescriptionStrictNegation.clone()
StrictNegation.substitute
(Term<?> v, Term<?> t)