Class StrictInferenceRule<T extends Invertable>

java.lang.Object
org.tweetyproject.arg.aspic.syntax.InferenceRule<T>
org.tweetyproject.arg.aspic.syntax.StrictInferenceRule<T>
Type Parameters:
T - is the type of the language that the ASPIC theory's rules range over
All Implemented Interfaces:
Formula, Rule<T,T>, ComplexLogicalFormula, LogicStructure, SimpleLogicalFormula

public class StrictInferenceRule<T extends Invertable> extends InferenceRule<T>
Indefeasible implementation of InferenceRule<T>
Author:
Nils Geilen