SatStableReasoner

java.lang.Object

org.tweetyproject.arg.dung.reasoner.AbstractDungReasoner

org.tweetyproject.arg.dung.reasoner.AbstractExtensionReasoner

org.tweetyproject.arg.dung.reasoner.AbstractSatExtensionReasoner

org.tweetyproject.arg.dung.reasoner.SatStableReasoner

All Implemented Interfaces:: ModelProvider<Argument,DungTheory,Extension<DungTheory>>, PostulateEvaluatable<Argument>, QualitativeReasoner<DungTheory,Argument>, Reasoner<Boolean,DungTheory,Argument>

public class SatStableReasoner extends AbstractSatExtensionReasoner

Uses a SAT solver to determine stable extensions.

Author:: Matthias Thimm

Constructor Summary

Constructors

Constructor

Description

SatStableReasoner(SatSolver solver)

Constructs a new stable reasoner.
Method Summary

Modifier and Type

Method

Description

boolean

isInstalled()

this method always returns true because the solver is native

Methods inherited from class org.tweetyproject.arg.dung.reasoner.AbstractSatExtensionReasoner
getModel, getModels, getPropositionalCharacterisation

Methods inherited from class org.tweetyproject.arg.dung.reasoner.AbstractExtensionReasoner
getSimpleReasonerForSemantics, query, query

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- SatStableReasoner
  
  public SatStableReasoner(SatSolver solver)
  
  Constructs a new stable reasoner.
  
  Parameters:
  
  solver - the SAT solver this reasoner uses.
Method Details
- isInstalled
  
  public boolean isInstalled()
  
  this method always returns true because the solver is native
  
  Specified by:
  
  isInstalled in interface QualitativeReasoner<DungTheory,Argument>
  
  Overrides:
  
  isInstalled in class AbstractExtensionReasoner
  
  Returns:
  
  `true` if the solver is installed and available, `false` otherwise.