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
Fields in net.sf.tweety.arg.aba.syntax with type parameters of type Negation Modifier and Type Field Description private java.util.Collection<Negation<T>>
AbaTheory. negations
The negation relationMethods 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()
private java.util.Collection<Negation<T>>
AbaTheory. groundFolNegations(java.util.Collection<Negation<T>> negations)
Method parameters in net.sf.tweety.arg.aba.syntax with type arguments of type Negation Modifier and Type Method Description private java.util.Collection<Negation<T>>
AbaTheory. groundFolNegations(java.util.Collection<Negation<T>> negations)
-