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()