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) StrictNegationArgumentationReasonerTest. n_q(package private) StrictNegationArgumentationReasonerTest. 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 StrictNegationAspFolTranslator. toASP(Negation source)Methods in net.sf.tweety.logics.translators.aspfol with parameters of type StrictNegation Modifier and Type Method Description NegationAspFolTranslator. 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 StrictNegationStrictNegation. clone()StrictNegationStrictNegation. 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
-