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 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