Uses of Class
org.tweetyproject.arg.aba.syntax.Negation
-
Packages that use Negation Package Description org.tweetyproject.arg.aba.syntax -
-
Uses of Negation in org.tweetyproject.arg.aba.syntax
Methods in org.tweetyproject.arg.aba.syntax that return Negation Modifier and Type Method Description Negation<T>
Negation. clone()
Negation<T>
Negation. substitute(Term<?> v, Term<?> t)
Methods in org.tweetyproject.arg.aba.syntax that return types with arguments of type Negation Modifier and Type Method Description java.util.Collection<Negation<T>>
AbaTheory. getNegations()
-