Class CompleteReasoner<T extends Formula>

java.lang.Object
org.tweetyproject.arg.aba.reasoner.GeneralAbaReasoner<T>
org.tweetyproject.arg.aba.reasoner.CompleteReasoner<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 CompleteReasoner<T extends Formula> extends GeneralAbaReasoner<T>
This reasoner for ABA theories performs inference on the complete extensions.
Author:
Nils Geilen (geilenn@uni-koblenz.de), Matthias Thimm