Uses of Class
net.sf.tweety.logics.fol.syntax.Negation

Packages that use Negation

Package	Description
net.sf.tweety.logics.fol.syntax

Uses of Negation in net.sf.tweety.logics.fol.syntax

Methods in net.sf.tweety.logics.fol.syntax that return Negation

Modifier and Type	Method	Description
Negation	Negation.clone()
Negation	Negation.substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)