Package org.tweetyproject.web.spring_services.aba

Class AbaReasonerCalleeFactory

java.lang.Object

org.tweetyproject.web.spring_services.aba.AbaReasonerCalleeFactory

public class AbaReasonerCalleeFactory
extends Object

*description missing*

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	AbaReasonerCalleeFactory.Command	*description missing*

Constructor Summary

Constructors

Constructor	Description
AbaReasonerCalleeFactory()

Method Summary

Modifier and Type	Method	Description
static <T extends Formula> Callee	getCallee(AbaReasonerCalleeFactory.Command cmd, GeneralAbaReasoner<T> reasoner, AbaTheory<T> bbase, Assumption<T> a)	*description missing*
static AbaReasonerCalleeFactory.Command[]	getCommands()	*description missing*

Methods inherited from class java.lang.Object

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

Constructor Details

AbaReasonerCalleeFactory

public AbaReasonerCalleeFactory()

Method Details

getCommands

public static AbaReasonerCalleeFactory.Command[] getCommands()

*description missing*

Returns:

*description missing*

getCallee

public static <T extends Formula> Callee getCallee(AbaReasonerCalleeFactory.Command cmd,
 GeneralAbaReasoner<T> reasoner,
 AbaTheory<T> bbase,
 Assumption<T> a)

*description missing*

Type Parameters:

T - *description missing*

Parameters:

cmd - *description missing*

reasoner - *description missing*

bbase - *description missing*

a - *description missing*

Returns:

*description missing*