Package org.tweetyproject.web.services.aba

Class AbaReasonerGetModelsCallee<T extends Formula>

java.lang.Object

org.tweetyproject.web.services.Callee

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

Type Parameters:

T - The type of formula used in ABA

All Implemented Interfaces:

Callable

public class AbaReasonerGetModelsCallee<T extends Formula>
extends Callee

The AbaReasonerGetModelsCallee class extends the Callee class and represents a callee responsible for obtaining multiple models from an Argumentation-Based Argumentation (ABA) reasoner.

Constructor Summary

Constructors

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

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Details

AbaReasonerGetModelsCallee

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

Constructor for AbaReasonerGetModelsCallee.

Parameters:

reasoner - The ABA reasoner instance

bbase - The ABA theory instance

Method Details

call

public Collection<AbaExtension<T>> call()
                                 throws Exception

Calls the ABA reasoner to obtain multiple models from the provided ABA theory.

Specified by:

call in interface Callable<T extends Formula>

Overrides:

call in class Callee

Returns:

A collection of ABA extensions representing the models

Throws:

Exception - If an exception occurs during the ABA reasoner operation