Uses of Class
org.tweetyproject.arg.aspic.syntax.StrictInferenceRule

Packages that use StrictInferenceRule

Package	Description
org.tweetyproject.arg.aspic.syntax

Uses of StrictInferenceRule in org.tweetyproject.arg.aspic.syntax

Methods in org.tweetyproject.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()