Class GeneralAbaReasoner<T extends Formula>

java.lang.Object
org.tweetyproject.arg.aba.reasoner.GeneralAbaReasoner<T>
Type Parameters:
T - the language of the underlying ABA theory
All Implemented Interfaces:
ModelProvider<Assumption<T>,AbaTheory<T>,AbaExtension<T>>, QualitativeReasoner<AbaTheory<T>,Assumption<T>>, Reasoner<Boolean,AbaTheory<T>,Assumption<T>>
Direct Known Subclasses:
CompleteReasoner, FlatAbaReasoner, IdealReasoner, PreferredReasoner, StableReasoner, WellFoundedReasoner

public abstract class GeneralAbaReasoner<T extends Formula> extends Object implements QualitativeReasoner<AbaTheory<T>,Assumption<T>>, ModelProvider<Assumption<T>,AbaTheory<T>,AbaExtension<T>>
This is an abstract generalization over non-flat ABA reasoners.
Author:
Nils Geilen (geilenn@uni-koblenz.de), Matthias Thimm