Package org.tweetyproject.arg.adf.reasoner

Class ModelReasoner

java.lang.Object

org.tweetyproject.arg.adf.reasoner.AbstractADFReasoner

org.tweetyproject.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner

org.tweetyproject.arg.adf.reasoner.ModelReasoner

All Implemented Interfaces:

ModelProvider<Argument,AbstractDialecticalFramework,Interpretation>, QualitativeReasoner<AbstractDialecticalFramework,Argument>, Reasoner<Boolean,AbstractDialecticalFramework,Argument>

@Deprecated(forRemoval=true,
            since="1.19")
public class ModelReasoner
extends AbstractDialecticalFrameworkReasoner

Deprecated, for removal: This API element is subject to removal in a future version.

since 1.19, for removal in future versions

This class implements a reasoner for the model semantics in Abstract Dialectical Frameworks (ADFs). It utilizes a SAT solver to compute model interpretations.

This class is deprecated and is planned for removal in future versions. Users should transition to newer reasoner implementations.

Author:

Mathias Hofer

Constructor Summary

Constructors

Constructor	Description
ModelReasoner(IncrementalSatSolver solver)	Deprecated, for removal: This API element is subject to removal in a future version. Constructs a ModelReasoner with the specified SAT solver.

Method Summary

Methods inherited from class org.tweetyproject.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner

credulousQuery, getModel, getModels, modelIterator, skepticalQuery

Methods inherited from class org.tweetyproject.arg.adf.reasoner.AbstractADFReasoner

isInstalled, query, query, queryAll

Methods inherited from class java.lang.Object

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

Constructor Details

ModelReasoner

public ModelReasoner(IncrementalSatSolver solver)

Deprecated, for removal: This API element is subject to removal in a future version.

Constructs a ModelReasoner with the specified SAT solver.

Parameters:

solver - the SAT solver to be used for computing model interpretations