Class AdmissibleReasoner

java.lang.Object

org.tweetyproject.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner

org.tweetyproject.arg.adf.reasoner.AdmissibleReasoner

@Deprecated(forRemoval=true,
            since="1.19")
public class AdmissibleReasoner
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 admissible semantics in Abstract Dialectical Frameworks (ADFs). It uses a SAT solver to compute admissible interpretations of the ADF.

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

Author:

Mathias Hofer

Constructor Summary

Constructors

Constructor	Description
AdmissibleReasoner(IncrementalSatSolver solver)	Deprecated, for removal: This API element is subject to removal in a future version. Constructs an AdmissibleReasoner 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 java.lang.Object

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

Constructor Details

AdmissibleReasoner

public AdmissibleReasoner(IncrementalSatSolver solver)

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

Constructs an AdmissibleReasoner with the specified SAT solver.

Parameters:

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