Class IafReasonerQueryAllCallee
java.lang.Object
org.tweetyproject.web.services.Callee
org.tweetyproject.web.services.iaf.IafReasonerQueryAllCallee
- All Implemented Interfaces:
Callable
The DungReasonerQueryAllCallee class represents a callee for obtaining the credulous/skeptical arguments
using a specified AbstractExtensionReasoner and IncompleteTheory.
This class extends the Callee class and implements the call() method to execute
the getModel operation using the provided reasoner and base IncompleteTheory.
- Author:
- Lars Bengel
-
Constructor Summary
ConstructorsConstructorDescriptionIafReasonerQueryAllCallee(IncompleteReasoner reasoner, IncompleteTheory bbase, InferenceMode mode, IncompleteReasoner.Type type) Constructs a new DungReasonerGetModelCallee with the specified reasoner and base IncompleteTheory. -
Method Summary
Modifier and TypeMethodDescriptioncall()Executes the queryAll operation using the specified reasoner and base IncompleteTheory.
-
Constructor Details
-
IafReasonerQueryAllCallee
public IafReasonerQueryAllCallee(IncompleteReasoner reasoner, IncompleteTheory bbase, InferenceMode mode, IncompleteReasoner.Type type) Constructs a new DungReasonerGetModelCallee with the specified reasoner and base IncompleteTheory.- Parameters:
reasoner- The AbstractAcceptabilityReasoner to be used for obtaining the modelbbase- The base IncompleteTheory on which the getModel operation is performedmode- The inference modetype- the reasoning type
-
-
Method Details