Package org.tweetyproject.web.services.dung

Class DungReasonerQueryAllCallee

java.lang.Object

org.tweetyproject.web.services.Callee

org.tweetyproject.web.services.dung.DungReasonerQueryAllCallee

All Implemented Interfaces:

Callable

public class DungReasonerQueryAllCallee
extends Callee

The DungReasonerQueryAllCallee class represents a callee for obtaining the credulous/skeptical arguments 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.

Author:

Lars Bengel

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
Collection<Argument>	call()	Executes the queryAll 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

DungReasonerQueryAllCallee

public DungReasonerQueryAllCallee(AbstractExtensionReasoner reasoner,
 DungTheory bbase,
 InferenceMode mode)

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

Parameters:

reasoner - The AbstractAcceptabilityReasoner to be used for obtaining the model

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

mode - The inference mode

Method Details

call

public Collection<Argument> call()
                          throws Exception

Executes the queryAll 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 queryAll operation