Package org.tweetyproject.web.services.dung

Class AbstractExtensionReasonerFactory

java.lang.Object

org.tweetyproject.web.services.dung.AbstractExtensionReasonerFactory

public abstract class AbstractExtensionReasonerFactory
extends Object

Main factory for retrieving abstract extension reasoners.

Author:

Jonas Klein

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	AbstractExtensionReasonerFactory.Semantics	An enumeration of all available semantics.

Constructor Summary

Constructors

Constructor	Description
AbstractExtensionReasonerFactory()

Method Summary

Modifier and Type	Method	Description
static AbstractExtensionReasoner	getReasoner(AbstractExtensionReasonerFactory.Semantics sem)	Creates a new reasoner measure of the given semantics with default settings.
static AbstractExtensionReasonerFactory.Semantics[]	getSemantics()	Returns an array of all available semantics.

Methods inherited from class java.lang.Object

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

Constructor Details

AbstractExtensionReasonerFactory

public AbstractExtensionReasonerFactory()

Method Details

getSemantics

public static AbstractExtensionReasonerFactory.Semantics[] getSemantics()

Returns an array of all available semantics.

Returns:

An array of all available semantics.

getReasoner

public static AbstractExtensionReasoner getReasoner(AbstractExtensionReasonerFactory.Semantics sem)

Creates a new reasoner measure of the given semantics with default settings.

Parameters:

sem - some identifier of an semantics.

Returns:

the requested reasoner.