T
- is the type of the language that the ABA theory's rules range overpublic interface ABARule<T extends Formula> extends Rule<T,T>
Modifier and Type | Method and Description |
---|---|
boolean |
isAssumption() |
addPremise, addPremises, getConclusion, getPremise, getSignature, isConstraint, isFact, setConclusion