Class IafReasonerQueryAllCallee

java.lang.Object
org.tweetyproject.web.services.Callee
org.tweetyproject.web.services.iaf.IafReasonerQueryAllCallee
All Implemented Interfaces:
Callable

public class IafReasonerQueryAllCallee extends Callee
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 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 model
      bbase - The base IncompleteTheory on which the getModel operation is performed
      mode - The inference mode
      type - the reasoning type
  • Method Details

    • call

      public Collection<Argument> call() throws Exception
      Executes the queryAll operation using the specified reasoner and base IncompleteTheory.
      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