Class DungReasonerResponse

java.lang.Object
org.tweetyproject.web.services.Response
org.tweetyproject.web.services.dung.DungReasonerResponse
public class DungReasonerResponse extends Response
The DungReasonerResponse class extends the Response class and represents a response containing information related to a Dung argumentation reasoner result.

  • Constructor Details

    • DungReasonerResponse

      public DungReasonerResponse()
      Default constructor for DungReasonerResponse.

    • DungReasonerResponse

      public DungReasonerResponse(String reply, String email, int nr_of_arguments, List<List<Integer>> attacks, String semantics, String solver, String answer, double time, String unit_time, String status)
      Parameterized constructor for DungReasonerResponse.
      Parameters:
      reply - The reply message
      email - The email associated with the response
      nr_of_arguments - The number of arguments
      attacks - The attacks information
      semantics - The semantics specified
      solver - The solver specified
      answer - The answer provided
      time - The time taken for the operation
      unit_time - The unit time specified
      status - The status of the response

  • Method Details

    • getReply

      public String getReply()
      Gets the reply message in the Dung reasoner response.
      Returns:
      The reply message in the Dung reasoner response.

    • setReply

      public void setReply(String reply)
      Sets the reply message in the Dung reasoner response.
      Parameters:
      reply - The reply message in the Dung reasoner response.

    • getEmail

      public String getEmail()
      Gets the email associated with the Dung reasoner response.
      Returns:
      The email associated with the Dung reasoner response.

    • setEmail

      public void setEmail(String email)
      Sets the email associated with the Dung reasoner response.
      Parameters:
      email - The email associated with the Dung reasoner response.

    • getNr_of_arguments

      public int getNr_of_arguments()
      Gets the number of arguments in the Dung reasoner response.
      Returns:
      The number of arguments in the Dung reasoner response.

    • setNr_of_arguments

      public void setNr_of_arguments(int nr_of_arguments)
      Sets the number of arguments in the Dung reasoner response.
      Parameters:
      nr_of_arguments - The number of arguments in the Dung reasoner response.

    • getAttacks

      public List<List<Integer>> getAttacks()
      Gets the attacks information in the Dung reasoner response.
      Returns:
      The attacks information in the Dung reasoner response.

    • setAttacks

      public void setAttacks(List<List<Integer>> attacks)
      Sets the attacks information in the Dung reasoner response.
      Parameters:
      attacks - The attacks information in the Dung reasoner response.

    • getSemantics

      public String getSemantics()
      Gets the semantics specified in the Dung reasoner response.
      Returns:
      The semantics specified in the Dung reasoner response.

    • setSemantics

      public void setSemantics(String semantics)
      Sets the semantics specified in the Dung reasoner response.
      Parameters:
      semantics - The semantics specified in the Dung reasoner response.

    • getSolver

      public String getSolver()
      Gets the solver specified in the Dung reasoner response.
      Returns:
      The solver specified in the Dung reasoner response.

    • setSolver

      public void setSolver(String solver)
      Sets the solver specified in the Dung reasoner response.
      Parameters:
      solver - The solver specified in the Dung reasoner response.

    • getAnswer

      public String getAnswer()
      Gets the answer provided by the Dung reasoner response.
      Returns:
      The answer provided by the Dung reasoner response.

    • setAnswer

      public void setAnswer(String answer)
      Sets the answer provided by the Dung reasoner response.
      Parameters:
      answer - The answer provided by the Dung reasoner response.

    • getTime

      public double getTime()
      Gets the time taken for the Dung reasoner operation (in seconds).
      Returns:
      The time taken for the Dung reasoner operation (in seconds).

    • setTime

      public void setTime(double time)
      Sets the time taken for the Dung reasoner operation (in seconds).
      Parameters:
      time - The time taken for the Dung reasoner operation (in seconds).

    • getUnit_time

      public String getUnit_time()
      Gets the unit time specified in the Dung reasoner response.
      Returns:
      The unit time specified in the Dung reasoner response.

    • setUnit_time

      public void setUnit_time(String unit_time)
      Sets the unit time specified in the Dung reasoner response.
      Parameters:
      unit_time - The unit time specified in the Dung reasoner response.

    • getStatus

      public String getStatus()
      Gets the status of the Dung reasoner response.
      Returns:
      The status of the Dung reasoner response.

    • setStatus

      public void setStatus(String status)
      Sets the status of the Dung reasoner response.
      Parameters:
      status - The status of the Dung reasoner response.

    • reply

      public DungReasonerResponse reply(String reply)
      Sets the reply message in the Dung reasoner response.
      Parameters:
      reply - The reply message in the Dung reasoner response.
      Returns:
      The current instance of DungReasonerResponse.

    • email

      public DungReasonerResponse email(String email)
      Sets the email associated with the Dung reasoner response.
      Parameters:
      email - The email associated with the Dung reasoner response.
      Returns:
      The current instance of DungReasonerResponse.

    • nr_of_arguments

      public DungReasonerResponse nr_of_arguments(int nr_of_arguments)
      Sets the number of arguments in the Dung reasoner response.
      Parameters:
      nr_of_arguments - The number of arguments in the Dung reasoner response.
      Returns:
      The current instance of DungReasonerResponse.

    • attacks

      public DungReasonerResponse attacks(List<List<Integer>> attacks)
      Sets the attacks information in the Dung reasoner response.
      Parameters:
      attacks - The attacks information in the Dung reasoner response.
      Returns:
      The current instance of DungReasonerResponse.

    • semantics

      public DungReasonerResponse semantics(String semantics)
      Sets the semantics specified in the Dung reasoner response.
      Parameters:
      semantics - The semantics specified in the Dung reasoner response.
      Returns:
      The current instance of DungReasonerResponse.

    • solver

      public DungReasonerResponse solver(String solver)
      Sets the solver specified in the Dung reasoner response.
      Parameters:
      solver - The solver specified in the Dung reasoner response.
      Returns:
      The current instance of DungReasonerResponse.

    • answer

      public DungReasonerResponse answer(String answer)
      Sets the answer provided by the Dung reasoner response.
      Parameters:
      answer - The answer provided by the Dung reasoner response.
      Returns:
      The current instance of DungReasonerResponse.

    • time

      public DungReasonerResponse time(int time)
      Sets the time taken for the Dung reasoner operation (in seconds).
      Parameters:
      time - The time taken for the Dung reasoner operation (in seconds).
      Returns:
      The current instance of DungReasonerResponse.

    • status

      public DungReasonerResponse status(String status)
      Sets the status of the Dung reasoner response.
      Parameters:
      status - The status of the Dung reasoner response.
      Returns:
      The current instance of DungReasonerResponse.

    • equals

      public boolean equals(Object o)
      Overrides:
      equals in class Object

    • hashCode

      public int hashCode()
      Overrides:
      hashCode in class Object

    • toString

      public String toString()
      Overrides:
      toString in class Object