Class IdealReasoner<T extends Formula>

java.lang.Object
org.tweetyproject.arg.aba.reasoner.GeneralAbaReasoner<T>
org.tweetyproject.arg.aba.reasoner.IdealReasoner<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>>

public class IdealReasoner<T extends Formula> extends GeneralAbaReasoner<T>
This reasoner for ABA theories performs inference on the ideal extension.
Author:
Nils Geilen (geilenn@uni-koblenz.de), Matthias Thimm