Package org.tweetyproject.web.services.dung

Class DungReasonerGetModelCallee

java.lang.Object

org.tweetyproject.web.services.Callee

org.tweetyproject.web.services.dung.DungReasonerGetModelCallee

All Implemented Interfaces:

Callable

public class DungReasonerGetModelCallee
extends Callee

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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
Extension<DungTheory>	call()	Executes the getModel 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

DungReasonerGetModelCallee

public DungReasonerGetModelCallee(AbstractExtensionReasoner reasoner,
 DungTheory bbase)

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

Parameters:

reasoner - The AbstractExtensionReasoner to be used for obtaining the model

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

Method Details

call

public Extension<DungTheory> call()
                           throws Exception

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

Specified by:

call in interface Callable

Overrides:

call in class Callee

Returns:

An Extension representing the obtained model

Throws:

Exception - If an error occurs during the getModel operation