Package org.tweetyproject.arg.adf.reasoner

Class GroundReasoner

java.lang.Object

org.tweetyproject.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner

org.tweetyproject.arg.adf.reasoner.GroundReasoner

@Deprecated(forRemoval=true,
            since="1.19")
public class GroundReasoner
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 grounded semantics in Abstract Dialectical Frameworks (ADFs). It uses a SAT solver to compute grounded 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
GroundReasoner(IncrementalSatSolver solver)	Deprecated, for removal: This API element is subject to removal in a future version. Constructs a GroundReasoner 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

GroundReasoner

public GroundReasoner(IncrementalSatSolver solver)

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

Constructs a GroundReasoner with the specified SAT solver.

Parameters:

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