Class CompleteReasoner

java.lang.Object

org.tweetyproject.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner

org.tweetyproject.arg.adf.reasoner.CompleteReasoner

@Deprecated(forRemoval=true,
            since="1.19")
public class CompleteReasoner
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 complete semantics in Abstract Dialectical Frameworks (ADFs). It utilizes a SAT solver to compute complete interpretations.

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
CompleteReasoner(IncrementalSatSolver solver)	Deprecated, for removal: This API element is subject to removal in a future version. Constructs a CompleteReasoner 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

CompleteReasoner

public CompleteReasoner(IncrementalSatSolver solver)

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

Constructs a CompleteReasoner with the specified SAT solver.

Parameters:

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