Package org.tweetyproject.web.services.adf

Class AdfReasonerGetModelsCallee

java.lang.Object

org.tweetyproject.web.services.Callee

org.tweetyproject.web.services.adf.AdfReasonerGetModelsCallee

All Implemented Interfaces:

Callable

public class AdfReasonerGetModelsCallee
extends Callee

The ADFReasonerGetModelsCallee class represents a callee for obtaining multiple models using a specified AbstractExtensionReasoner and ADFTheory. This class extends the Callee class and implements the call() method to execute the getModels operation using the provided reasoner and base ADF.

Constructor Summary

Constructors

Constructor	Description
AdfReasonerGetModelsCallee(AbstractADFReasoner reasoner, AbstractDialecticalFramework bbase)	Constructs a new AdfReasonerGetModelsCallee with the specified reasoner and base ADF.

Method Summary

Modifier and Type	Method	Description
Collection<Interpretation>	call()	Executes the getModels operation using the specified reasoner and base ADF.

Methods inherited from class java.lang.Object

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

Constructor Details

AdfReasonerGetModelsCallee

public AdfReasonerGetModelsCallee(AbstractADFReasoner reasoner,
 AbstractDialecticalFramework bbase)

Constructs a new AdfReasonerGetModelsCallee with the specified reasoner and base ADF.

Parameters:

reasoner - The AbstractADFReasoner to be used for obtaining multiple models

bbase - The base ADF on which the getModels operation is performed

Method Details

call

public Collection<Interpretation> call()
                                throws Exception

Executes the getModels operation using the specified reasoner and base ADF.

Specified by:

call in interface Callable

Overrides:

call in class Callee

Returns:

A collection of interpretations representing the obtained models

Throws:

Exception - If an error occurs during the getModels operation