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(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)StrictInferenceRule<T>InferenceRule. toStrict()
-