Package org.tweetyproject.web.services.iaf

Class IafReasonerGetModelsCallee

java.lang.Object

org.tweetyproject.web.services.Callee

org.tweetyproject.web.services.iaf.IafReasonerGetModelsCallee

All Implemented Interfaces:

Callable

public class IafReasonerGetModelsCallee
extends Callee

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

Constructor Summary

Constructors

Constructor	Description
IafReasonerGetModelsCallee(IncompleteReasoner reasoner, IncompleteTheory bbase, IncompleteReasoner.Type type)	Constructs a new DungReasonerGetModelsCallee with the specified reasoner and base IncompleteTheory.

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Details

IafReasonerGetModelsCallee

public IafReasonerGetModelsCallee(IncompleteReasoner reasoner,
 IncompleteTheory bbase,
 IncompleteReasoner.Type type)

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

Parameters:

reasoner - The IncompleteReasoner to be used for obtaining multiple models

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

type - the reasoning type

Method Details

call

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

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

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