Package org.tweetyproject.arg.adf.reasoner

Class ConflictFreeReasoner

java.lang.Object
org.tweetyproject.arg.adf.reasoner.AbstractADFReasoner
org.tweetyproject.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner
org.tweetyproject.arg.adf.reasoner.ConflictFreeReasoner
All Implemented Interfaces:
ModelProvider<Argument,AbstractDialecticalFramework,Interpretation>, QualitativeReasoner<AbstractDialecticalFramework,Argument>, Reasoner<Boolean,AbstractDialecticalFramework,Argument>
@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 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