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
Collection<Negation<T>>	AbaTheory.getNegations()