Class DungReasonerGetModelsCallee

java.lang.Object
org.tweetyproject.web.services.Callee
org.tweetyproject.web.services.dung.DungReasonerGetModelsCallee
All Implemented Interfaces:
Callable
public class DungReasonerGetModelsCallee extends Callee
The DungReasonerGetModelsCallee class represents a callee for obtaining multiple models using a specified AbstractExtensionReasoner and DungTheory. This class extends the Callee class and implements the call() method to execute the getModels operation using the provided reasoner and base DungTheory.

  • Constructor Details

    • DungReasonerGetModelsCallee

      public DungReasonerGetModelsCallee(AbstractExtensionReasoner reasoner, DungTheory bbase)
      Constructs a new DungReasonerGetModelsCallee with the specified reasoner and base DungTheory.
      Parameters:
      reasoner - The AbstractExtensionReasoner to be used for obtaining multiple models
      bbase - The base DungTheory on which the getModels operation is performed

  • Method Details

    • call

      public Collection<Extension<DungTheory>> call() throws Exception
      Executes the getModels operation using the specified reasoner and base DungTheory.
      Specified by:
      call in interface Callable
      Overrides:
      call in class Callee
      Returns:
      A collection of Extensions representing the obtained models
      Throws:
      Exception - If an error occurs during the getModels operation