Class AbaReasonerGetModelCallee<T extends Formula>

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

  • Constructor Details

    • AbaReasonerGetModelCallee

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

  • Method Details

    • call

      public AbaExtension<T> call() throws Exception
      Calls the ABA reasoner to obtain some model from the provided ABA theory.
      Specified by:
      call in interface Callable<T extends Formula>
      Overrides:
      call in class Callee
      Returns:
      The obtained ABA extension
      Throws:
      Exception - If an exception occurs during the ABA reasoner operation