Class AbaRule<T extends Formula>

java.lang.Object
org.tweetyproject.arg.aba.syntax.AbaElement<T>
org.tweetyproject.arg.aba.syntax.AbaRule<T>
Type Parameters:
T - is the type of the language that the ABA theory's rules range over
All Implemented Interfaces:
Formula, Rule<T,T>, ComplexLogicalFormula, LogicStructure, SimpleLogicalFormula
Direct Known Subclasses:
Assumption, InferenceRule

public abstract class AbaRule<T extends Formula> extends AbaElement<T> implements Rule<T,T>
A common interface for assumptions and inference rules.
Author:
Nils Geilen (geilenn@uni-koblenz.de)