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)
-
-
-
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)
-
-