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