Class AbstractDialecticalFrameworkReasoner

java.lang.Object
org.tweetyproject.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner
Direct Known Subclasses:
AdmissibleReasoner, CompleteReasoner, ConflictFreeReasoner, GroundReasoner, ModelReasoner, NaiveReasoner, PreferredReasoner, StableReasoner

@Deprecated(forRemoval=true, since="1.19") public abstract class AbstractDialecticalFrameworkReasoner extends Object
Deprecated, for removal: This API element is subject to removal in a future version.
Ancestor class for all adf reasoner
  • Constructor Details

    • AbstractDialecticalFrameworkReasoner

      public AbstractDialecticalFrameworkReasoner(IncrementalSatSolver solver)
      Deprecated, for removal: This API element is subject to removal in a future version.
      Parameters:
      solver - solver
  • Method Details

    • skepticalQuery

      public boolean skepticalQuery(AbstractDialecticalFramework adf, Argument argument)
      Deprecated, for removal: This API element is subject to removal in a future version.
      Parameters:
      adf - adf
      argument - argument
      Returns:
      skepticalQuery
    • credulousQuery

      public boolean credulousQuery(AbstractDialecticalFramework adf, Argument argument)
      Deprecated, for removal: This API element is subject to removal in a future version.
      Parameters:
      adf - adf
      argument - argument
      Returns:
      credulousQuery
    • getModels

      Deprecated, for removal: This API element is subject to removal in a future version.
      Parameters:
      adf - adf
      Returns:
      getModels
    • getModel

      public Interpretation getModel(AbstractDialecticalFramework adf)
      Deprecated, for removal: This API element is subject to removal in a future version.
      Parameters:
      adf - adf
      Returns:
      getModel
    • modelIterator

      public Iterator<Interpretation> modelIterator(AbstractDialecticalFramework adf)
      Deprecated, for removal: This API element is subject to removal in a future version.
      Parameters:
      adf - adf
      Returns:
      modelIterator