T
- is the type of the language that the ASPIC theory's rules range overpublic class DefeasibleInferenceRule<T extends Invertable> extends InferenceRule<T>
InferenceRule
Constructor and Description |
---|
DefeasibleInferenceRule()
Constructs an empty instance
|
DefeasibleInferenceRule(T conclusion,
java.util.Collection<T> premise)
Constructs a defeasible inference rule p => c
|
Modifier and Type | Method and Description |
---|---|
boolean |
isDefeasible() |
addPremise, addPremises, getConclusion, getIdentifier, getName, getPremise, getSignature, isConstraint, isFact, setConclusion, setName, toDefeasible, toStrict, toString
public DefeasibleInferenceRule()
public boolean isDefeasible()
isDefeasible
in class InferenceRule<T extends Invertable>