Package org.tweetyproject.arg.adf.reasoner

Class PreferredReasoner

java.lang.Object

org.tweetyproject.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner

org.tweetyproject.arg.adf.reasoner.PreferredReasoner

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

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

since 1.19, marked for removal in future versions

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

This class is deprecated and will be removed in future versions. Use the more updated reasoner classes instead.

Author:

Mathias Hofer

Constructor Summary

Constructors

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

PreferredReasoner

public PreferredReasoner(IncrementalSatSolver solver)

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

Constructs a PreferredReasoner with the given SAT solver.

Parameters:

solver - the underlying SAT solver used to compute the preferred interpretations