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)
-