Package org.tweetyproject.web.services.dung

Class DungReasonerGetModelsCallee

java.lang.Object

org.tweetyproject.web.services.Callee

org.tweetyproject.web.services.dung.DungReasonerGetModelsCallee

All Implemented Interfaces:

Callable

public class DungReasonerGetModelsCallee
extends Callee

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

Constructor Summary

Constructors

Constructor	Description
DungReasonerGetModelsCallee(AbstractExtensionReasoner reasoner, DungTheory bbase)	Constructs a new DungReasonerGetModelsCallee with the specified reasoner and base DungTheory.

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Details

DungReasonerGetModelsCallee

public DungReasonerGetModelsCallee(AbstractExtensionReasoner reasoner,
 DungTheory bbase)

Constructs a new DungReasonerGetModelsCallee with the specified reasoner and base DungTheory.

Parameters:

reasoner - The AbstractExtensionReasoner to be used for obtaining multiple models

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

Method Details

call

public Collection<Extension<DungTheory>> call()
                                       throws Exception

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

Specified by:

call in interface Callable

Overrides:

call in class Callee

Returns:

A collection of Extensions representing the obtained models

Throws:

Exception - If an error occurs during the getModels operation