Package net.sf.tweety.arg.aba.syntax
Interface ABARule<T extends Formula>
-
- Type Parameters:
T
- is the type of the language that the ABA theory's rules range over
- All Known Implementing Classes:
Assumption
,InferenceRule
public interface ABARule<T extends Formula> extends Rule<T,T>
- Author:
- Nils Geilen (geilenn@uni-koblenz.de) An interface that combines assumptions and inference rules
-
-
Method Summary
Modifier and Type Method Description boolean
isAssumption()
-
Methods inherited from interface net.sf.tweety.commons.util.rules.Rule
addPremise, addPremises, getConclusion, getPremise, getSignature, isConstraint, isFact, setConclusion
-
-