Package org.tweetyproject.web.services.aba

Class AbaReasonerGetModelCallee<T extends Formula>

java.lang.Object

org.tweetyproject.web.services.Callee

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

Type Parameters:

T - The type of formula used in ABA

All Implemented Interfaces:

Callable

public class AbaReasonerGetModelCallee<T extends Formula>
extends Callee

The AbaReasonerGetModelCallee class extends the Callee class and represents a callee responsible for obtaining some model from an Argumentation-Based Argumentation (ABA) reasoner.

Constructor Summary

Constructors

Constructor	Description
AbaReasonerGetModelCallee(GeneralAbaReasoner<T> reasoner, AbaTheory<T> bbase)	Constructor for AbaReasonerGetModelCallee.

Method Summary

Modifier and Type	Method	Description
AbaExtension<T>	call()	Calls the ABA reasoner to obtain some model from the provided ABA theory.

Methods inherited from class java.lang.Object

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

Constructor Details

AbaReasonerGetModelCallee

public AbaReasonerGetModelCallee(GeneralAbaReasoner<T> reasoner,
 AbaTheory<T> bbase)

Constructor for AbaReasonerGetModelCallee.

Parameters:

reasoner - The ABA reasoner instance

bbase - The ABA theory instance

Method Details

call

public AbaExtension<T> call()
                     throws Exception

Calls the ABA reasoner to obtain some model from the provided ABA theory.

Specified by:

call in interface Callable<T extends Formula>

Overrides:

call in class Callee

Returns:

The obtained ABA extension

Throws:

Exception - If an exception occurs during the ABA reasoner operation