Package org.tweetyproject.web.services.aba

Class AbaReasonerQueryCallee<T extends Formula>

java.lang.Object

org.tweetyproject.web.services.Callee

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

Type Parameters:

T - The type of formula used in ABA

All Implemented Interfaces:

Callable

public class AbaReasonerQueryCallee<T extends Formula>
extends Callee

The AbaReasonerQueryCallee class extends the Callee class and represents a callee responsible for querying an assumption in Argumentation-Based Argumentation (ABA).

Constructor Summary

Constructors

Constructor	Description
AbaReasonerQueryCallee(GeneralAbaReasoner<T> reasoner, AbaTheory<T> bbase, Assumption<T> assumption)	Constructor for AbaReasonerQueryCallee.

Method Summary

Modifier and Type	Method	Description
Boolean	call()	Calls the ABA reasoner to perform a query using the provided ABA theory and assumption.

Methods inherited from class java.lang.Object

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

Constructor Details

AbaReasonerQueryCallee

public AbaReasonerQueryCallee(GeneralAbaReasoner<T> reasoner,
 AbaTheory<T> bbase,
 Assumption<T> assumption)

Constructor for AbaReasonerQueryCallee.

Parameters:

reasoner - The ABA reasoner instance

bbase - The ABA theory instance

assumption - The assumption used in the query

Method Details

call

public Boolean call()
             throws Exception

Calls the ABA reasoner to perform a query using the provided ABA theory and assumption.

Specified by:

call in interface Callable<T extends Formula>

Overrides:

call in class Callee

Returns:

The Boolean result of the query

Throws:

Exception - If an exception occurs during the ABA reasoner operation