Uses of Class
net.sf.tweety.arg.aspic.syntax.StrictInferenceRule

Packages that use StrictInferenceRule

Package	Description
net.sf.tweety.arg.aspic.syntax

Uses of StrictInferenceRule in net.sf.tweety.arg.aspic.syntax

Methods in net.sf.tweety.arg.aspic.syntax that return StrictInferenceRule

Modifier and Type	Method	Description
StrictInferenceRule<T>	StrictInferenceRule.clone()
StrictInferenceRule<T>	StrictInferenceRule.substitute(Term<?> v, Term<?> t)
StrictInferenceRule<T>	InferenceRule.toStrict()