Package org.tweetyproject.arg.adf.reasoner

Class AbstractDialecticalFrameworkReasoner

java.lang.Object

org.tweetyproject.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner

Direct Known Subclasses:

AdmissibleReasoner, CompleteReasoner, ConflictFreeReasoner, GroundReasoner, ModelReasoner, NaiveReasoner, PreferredReasoner, StableReasoner

public abstract class AbstractDialecticalFrameworkReasoner
extends java.lang.Object

Ancestor class for all adf reasoner

Author:

Mathias Hofer

Constructor Summary

Constructors

Constructor	Description
AbstractDialecticalFrameworkReasoner(Pipeline computationPipeline)

Method Summary

Modifier and Type	Method	Description
boolean	credulousQuery(AbstractDialecticalFramework adf, Argument argument)
Interpretation	getModel(AbstractDialecticalFramework adf)
java.util.Collection<Interpretation>	getModels(AbstractDialecticalFramework adf)
java.util.Iterator<Interpretation>	modelIterator(AbstractDialecticalFramework adf)
boolean	skepticalQuery(AbstractDialecticalFramework adf, Argument argument)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AbstractDialecticalFrameworkReasoner

public AbstractDialecticalFrameworkReasoner(Pipeline computationPipeline)

Parameters:

computationPipeline - the pipeline which is used to compute the models

Method Detail

skepticalQuery

public boolean skepticalQuery(AbstractDialecticalFramework adf,
                              Argument argument)

credulousQuery

public boolean credulousQuery(AbstractDialecticalFramework adf,
                              Argument argument)

getModels

public java.util.Collection<Interpretation> getModels(AbstractDialecticalFramework adf)

getModel

public Interpretation getModel(AbstractDialecticalFramework adf)

modelIterator

public java.util.Iterator<Interpretation> modelIterator(AbstractDialecticalFramework adf)