Uses of Class
net.sf.tweety.arg.delp.syntax.StrictRule
-
Packages that use StrictRule Package Description net.sf.tweety.arg.delp.semantics net.sf.tweety.arg.delp.syntax -
-
Uses of StrictRule in net.sf.tweety.arg.delp.semantics
Fields in net.sf.tweety.arg.delp.semantics with type parameters of type StrictRule Modifier and Type Field Description private java.util.Set<StrictRule>
ArgumentCompletion. completion
The completion of the argument, i.e., the set of strict rules used in the derivation of the conclusion of the argument.Methods in net.sf.tweety.arg.delp.semantics with parameters of type StrictRule Modifier and Type Method Description private void
ArgumentCompletion. addStrictRule(StrictRule srule)
add a strict rule to this argument completion -
Uses of StrictRule in net.sf.tweety.arg.delp.syntax
Methods in net.sf.tweety.arg.delp.syntax that return StrictRule Modifier and Type Method Description StrictRule
DefeasibleRule. toStrictRule()
returns the translation of this rule as a strict rule
-