Package org.tweetyproject.web.spring_services.dung

Class AbstractExtensionReasonerFactory

java.lang.Object

org.tweetyproject.web.spring_services.dung.AbstractExtensionReasonerFactory

public abstract class AbstractExtensionReasonerFactory
extends Object

Main factory for retrieving inconsistency measures for propositional logic.

Author:

Jonas Klein

Nested Class Summary

Nested Classes

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

Constructor Summary

Constructors

Constructor	Description
AbstractExtensionReasonerFactory()

Method Summary

Modifier and Type	Method	Description
static AbstractExtensionReasoner	getReasoner(AbstractExtensionReasonerFactory.Semantics sem)	*description missing*
static AbstractExtensionReasonerFactory.Semantics[]	getSemantics()	*description missing*

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()

*description missing*

Returns:

*description missing*

getReasoner

public static AbstractExtensionReasoner getReasoner(AbstractExtensionReasonerFactory.Semantics sem)

*description missing*

Parameters:

sem - *description missing*

Returns:

*description missing*