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

Class SimpleCompleteReasoner

java.lang.Object

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

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

net.sf.tweety.arg.dung.reasoner.SimpleCompleteReasoner

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

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
SimpleCompleteReasoner()

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

SimpleCompleteReasoner

public SimpleCompleteReasoner()

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