Class 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.