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()
-