Package org.tweetyproject.web.services.aba

Class GeneralAbaReasonerFactory<T>

java.lang.Object

org.tweetyproject.web.services.aba.GeneralAbaReasonerFactory<T>

Type Parameters:

T - the formula type used in ABA

public abstract class GeneralAbaReasonerFactory<T>
extends Object

Abstract factory for retrieving ABA reasoners.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	GeneralAbaReasonerFactory.Semantics	An enumeration of all available semantics for ABA reasoners.

Method Summary

Modifier and Type	Method	Description
static <T> GeneralAbaReasoner	getReasoner(GeneralAbaReasonerFactory.Semantics sem)	Return a reasoner
static GeneralAbaReasonerFactory.Semantics[]	getSemantics()	Gets an array of all available semantics.

Methods inherited from class java.lang.Object

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

Method Details

getSemantics

public static GeneralAbaReasonerFactory.Semantics[] getSemantics()

Gets an array of all available semantics.

Returns:

An array of Semantics values

getReasoner

public static <T> GeneralAbaReasoner getReasoner(GeneralAbaReasonerFactory.Semantics sem)

Return a reasoner

Type Parameters:

T - type

Parameters:

sem - semantik

Returns:

a reasoner