Uses of Class
org.tweetyproject.arg.aspic.syntax.StrictInferenceRule
-
Uses of StrictInferenceRule in org.tweetyproject.arg.aspic.syntax
Modifier and TypeMethodDescriptionStrictInferenceRule.clone()
StrictInferenceRule.substitute(Term<?> v, Term<?> t)
InferenceRule.toStrict()