Class ConflictFreeReasoner

java.lang.Object

org.tweetyproject.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner

org.tweetyproject.arg.adf.reasoner.ConflictFreeReasoner

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

This class is deprecated and is scheduled for removal in future versions. Users are advised to switch to updated reasoner classes for future-proof implementations.

Author:

Mathias Hofer

Constructor Summary

Constructors

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

ConflictFreeReasoner

public ConflictFreeReasoner(IncrementalSatSolver solver)

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

Constructs a ConflictFreeReasoner with the given SAT solver.

Parameters:

solver - the underlying SAT solver used to compute conflict-free interpretations