Class SimpleAspicReasoner<T extends Invertable>

java.lang.Object
org.tweetyproject.arg.aspic.reasoner.AbstractAspicReasoner<T>
org.tweetyproject.arg.aspic.reasoner.SimpleAspicReasoner<T>
Type Parameters:
T - the formula type
All Implemented Interfaces:
QualitativeReasoner<AspicArgumentationTheory<T>,T>, Reasoner<Boolean,AspicArgumentationTheory<T>,T>

public class SimpleAspicReasoner<T extends Invertable> extends AbstractAspicReasoner<T>
Author:
Nils Geilen, Matthias Thimm This class models a reasoner over Aspic formulae
  • Constructor Details

    • SimpleAspicReasoner

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