Class AbaReasonerCalleeFactory

java.lang.Object

org.tweetyproject.web.services.aba.AbaReasonerCalleeFactory

public class AbaReasonerCalleeFactory
extends Object

The AbaReasonerCalleeFactory class provides a factory for creating different instances of Argumentation-Based Argumentation (ABA) reasoner callees based on specific commands.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	AbaReasonerCalleeFactory.Command	Enumeration of supported commands for ABA reasoner.

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)	Creates a new callee instance based on the provided command, ABA reasoner, ABA theory, and assumption.
static AbaReasonerCalleeFactory.Command[]	getCommands()	Gets an array of all supported commands.

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

Gets an array of all supported commands.

Returns:

An array of Command enums

getCallee

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

Creates a new callee instance based on the provided command, ABA reasoner, ABA theory, and assumption.

Type Parameters:

T - The type of formula used in ABA

Parameters:

cmd - The command for which the callee is created

reasoner - The ABA reasoner instance

bbase - The ABA theory instance

a - The assumption

Returns:

The created callee instance

Throws:

RuntimeException - If the command is not found