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(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)

Methods in net.sf.tweety.arg.aba.syntax that return types with arguments of type Negation

Modifier and Type	Method	Description
Collection<Negation<T>>	AbaTheory.getNegations()