Package org.tweetyproject.arg.dung.reasoner

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,ArgumentationFramework,Extension>, 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

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.