Uses of Class
net.sf.tweety.lp.asp.syntax.StrictNegation
-
Packages that use StrictNegation Package Description net.sf.tweety.argumentation.parameterisedhierarchy net.sf.tweety.logics.translators.aspfol net.sf.tweety.lp.asp.syntax -
-
Uses of StrictNegation in net.sf.tweety.argumentation.parameterisedhierarchy
Fields in net.sf.tweety.argumentation.parameterisedhierarchy declared as StrictNegation Modifier and Type Field Description (package private) StrictNegation
ArgumentationReasonerTest. n_q
(package private) StrictNegation
ArgumentationReasonerTest. n_s
-
Uses of StrictNegation in net.sf.tweety.logics.translators.aspfol
Methods in net.sf.tweety.logics.translators.aspfol that return StrictNegation Modifier and Type Method Description StrictNegation
AspFolTranslator. toASP(Negation source)
Methods in net.sf.tweety.logics.translators.aspfol with parameters of type StrictNegation Modifier and Type Method Description Negation
AspFolTranslator. toFOL(StrictNegation source)
-
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(Term<?> v, Term<?> t)
Constructors in net.sf.tweety.lp.asp.syntax with parameters of type StrictNegation Constructor Description StrictNegation(StrictNegation other)
Copy-Constructor
-