Class FlatAbaReasoner<T extends Formula>

java.lang.Object
org.tweetyproject.arg.aba.reasoner.GeneralAbaReasoner<T>
org.tweetyproject.arg.aba.reasoner.FlatAbaReasoner<T>
Type Parameters:
T - the type of formulas
All Implemented Interfaces:
ModelProvider<Assumption<T>,AbaTheory<T>,AbaExtension<T>>, QualitativeReasoner<AbaTheory<T>,Assumption<T>>, Reasoner<Boolean,AbaTheory<T>,Assumption<T>>

public class FlatAbaReasoner<T extends Formula> extends GeneralAbaReasoner<T>
This class models a reasoner over ABA formulae. This reasoner can only be used with flat ABA theories because only those can be transformed into Dung frameworks.
Author:
Nils Geilen, Matthias Thimm