Class AbstractAspicReasoner<T extends Invertable>

java.lang.Object
org.tweetyproject.arg.aspic.reasoner.AbstractAspicReasoner<T>
Type Parameters:
T - The type of formulas
All Implemented Interfaces:
QualitativeReasoner<AspicArgumentationTheory<T>,T>, Reasoner<Boolean,AspicArgumentationTheory<T>,T>
Direct Known Subclasses:
DirectionalAspicReasoner, ModuleBasedAspicReasoner, RandomAspicReasoner, SimpleAspicReasoner

public abstract class AbstractAspicReasoner<T extends Invertable> extends Object implements QualitativeReasoner<AspicArgumentationTheory<T>,T>
The abstract ancestor of all Aspic reasoner implementations
Author:
Matthias Thimm
  • Constructor Details

    • AbstractAspicReasoner

      public AbstractAspicReasoner(AbstractExtensionReasoner aafReasoner)
      Creates a new instance
      Parameters:
      aafReasoner - Underlying reasoner for AAFs.
  • Method Details