Package net.sf.tweety.arg.dung.reasoner

Class SimpleSccCompleteReasoner

java.lang.Object

net.sf.tweety.arg.dung.reasoner.AbstractDungReasoner

net.sf.tweety.arg.dung.reasoner.AbstractExtensionReasoner

net.sf.tweety.arg.dung.reasoner.SimpleSccCompleteReasoner

All Implemented Interfaces:

net.sf.tweety.commons.ModelProvider<Argument,DungTheory,Extension>, net.sf.tweety.commons.QualitativeReasoner<DungTheory,Argument>, net.sf.tweety.commons.Reasoner<Boolean,DungTheory,Argument>

public class SimpleSccCompleteReasoner
extends AbstractExtensionReasoner

This reasoner for Dung theories performs inference on the complete extensions. Computes the set of all complete extensions, i.e., all admissible sets that contain all their acceptable arguments. Exploits the structure of the strongly-connected components (SCCs) to determine extensions.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
SimpleSccCompleteReasoner()

Method Summary

Modifier and Type	Method	Description
Extension	getModel(DungTheory bbase)
Collection<Extension>	getModels(DungTheory bbase)

Methods inherited from class net.sf.tweety.arg.dung.reasoner.AbstractExtensionReasoner

getSimpleReasonerForSemantics, query, query

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SimpleSccCompleteReasoner

public SimpleSccCompleteReasoner()

Method Detail

getModels

public Collection<Extension> getModels(DungTheory bbase)

Specified by:

getModels in interface net.sf.tweety.commons.ModelProvider<Argument,DungTheory,Extension>

Specified by:

getModels in class AbstractExtensionReasoner

getModel

public Extension getModel(DungTheory bbase)

Specified by:

getModel in interface net.sf.tweety.commons.ModelProvider<Argument,DungTheory,Extension>

Specified by:

getModel in class AbstractExtensionReasoner