Uses of Class
org.tweetyproject.lp.nlp.syntax.NLPNot

Packages that use NLPNot

Package	Description
org.tweetyproject.lp.nlp.syntax

Uses of NLPNot in org.tweetyproject.lp.nlp.syntax

Methods in org.tweetyproject.lp.nlp.syntax that return NLPNot

Modifier and Type	Method	Description
NLPNot	NLPNot.clone()
NLPNot	NLPNot.collapseAssociativeFormulas()
NLPNot	NLPNot.substitute(Term<?> v, Term<?> t)