Uses of Class
net.sf.tweety.lp.asp.syntax.StrictNegation

Packages that use StrictNegation

Package	Description
net.sf.tweety.lp.asp.syntax

Uses of StrictNegation in net.sf.tweety.lp.asp.syntax

Methods in net.sf.tweety.lp.asp.syntax that return StrictNegation

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

Constructors in net.sf.tweety.lp.asp.syntax with parameters of type StrictNegation

Constructor	Description
StrictNegation(StrictNegation other)	Copy-Constructor