Class AbaReasonerGetModelsCallee<T extends Formula>

java.lang.Object
org.tweetyproject.web.services.Callee
org.tweetyproject.web.services.aba.AbaReasonerGetModelsCallee<T>
Type Parameters:
T - The type of formula used in ABA
All Implemented Interfaces:
Callable
public class AbaReasonerGetModelsCallee<T extends Formula> extends Callee
The AbaReasonerGetModelsCallee class extends the Callee class and represents a callee responsible for obtaining multiple models from an Argumentation-Based Argumentation (ABA) reasoner.

  • Constructor Details

    • AbaReasonerGetModelsCallee

      public AbaReasonerGetModelsCallee(GeneralAbaReasoner<T> reasoner, AbaTheory<T> bbase)
      Constructor for AbaReasonerGetModelsCallee.
      Parameters:
      reasoner - The ABA reasoner instance
      bbase - The ABA theory instance

  • Method Details

    • call

      public Collection<AbaExtension<T>> call() throws Exception
      Calls the ABA reasoner to obtain multiple models from the provided ABA theory.
      Specified by:
      call in interface Callable<T extends Formula>
      Overrides:
      call in class Callee
      Returns:
      A collection of ABA extensions representing the models
      Throws:
      Exception - If an exception occurs during the ABA reasoner operation