Uses of Class
net.sf.tweety.arg.aba.syntax.Negation
-
Packages that use Negation Package Description net.sf.tweety.arg.aba.syntax -
-
Uses of Negation in net.sf.tweety.arg.aba.syntax
Methods in net.sf.tweety.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 net.sf.tweety.arg.aba.syntax that return types with arguments of type Negation Modifier and Type Method Description java.util.Collection<Negation<T>>
AbaTheory. getNegations()
-