Package org.tweetyproject.arg.adf.reasoner

Class StableReasoner

java.lang.Object

org.tweetyproject.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner

org.tweetyproject.arg.adf.reasoner.StableReasoner

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

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

This class is deprecated and scheduled for removal since version 1.19. Use alternative reasoners for stable interpretations in ADFs.

This class represents a reasoner for determining stable interpretations in an Abstract Dialectical Framework (ADF). The reasoner uses a SAT solver to compute stable interpretations.

Note: This class is deprecated and scheduled for removal in version 1.19. It is recommended to use an updated reasoner implementation instead.

Since:

1.19

Author:

Mathias Hofer

Constructor Summary

Constructors

Constructor	Description
StableReasoner(IncrementalSatSolver solver)	Deprecated, for removal: This API element is subject to removal in a future version. Constructs a new StableReasoner using the given incremental 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

StableReasoner

public StableReasoner(IncrementalSatSolver solver)

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

Constructs a new StableReasoner using the given incremental SAT solver.

Parameters:

solver - the underlying incremental SAT solver used for querying stable interpretations in the Abstract Dialectical Framework.