Package org.tweetyproject.web.services.adf

Class AdfReasonerResponse

java.lang.Object
org.tweetyproject.web.services.Response
org.tweetyproject.web.services.adf.AdfReasonerResponse
public class AdfReasonerResponse extends Response
The AdfReasonerResponse class extends the Response class and represents a response containing information related to an ADF argumentation reasoner result.

  • Constructor Details

    • AdfReasonerResponse

      public AdfReasonerResponse()
      Default constructor for ADFReasonerResponse.

    • AdfReasonerResponse

      public AdfReasonerResponse(String reply, String email, int nr_of_arguments, List<String> conditions, String semantics, String solver, String answer, double time, String unit_time, String status)
      Parameterized constructor for ADFReasonerResponse.
      Parameters:
      reply - The reply message
      email - The email associated with the response
      nr_of_arguments - The number of arguments
      conditions - The conditions 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 ADF reasoner response.
      Returns:
      The reply message in the ADF reasoner response.

    • setReply

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

    • getEmail

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

    • setEmail

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

    • getNr_of_arguments

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

    • setNr_of_arguments

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

    • getConditions

      public List<String> getConditions()
      Gets the conditions information in the ADF reasoner response.
      Returns:
      The conditions information in the ADF reasoner response.

    • setConditions

      public void setConditions(List<String> conditions)
      Sets the conditions information in the ADF reasoner response.
      Parameters:
      conditions - The conditions information in the ADF reasoner response.

    • getSemantics

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

    • setSemantics

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

    • getSolver

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

    • setSolver

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

    • getAnswer

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

    • setAnswer

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

    • getTime

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

    • setTime

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

    • getUnit_time

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

    • setUnit_time

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

    • getStatus

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

    • setStatus

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

    • reply

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

    • email

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

    • nr_of_arguments

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

    • conditions

      public AdfReasonerResponse conditions(List<String> conditions)
      Sets the conditions information in the ADF reasoner response.
      Parameters:
      conditions - The conditions information in the ADF reasoner response.
      Returns:
      The current instance of ADFReasonerResponse.

    • semantics

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

    • solver

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

    • answer

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

    • time

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

    • status

      public AdfReasonerResponse status(String status)
      Sets the status of the ADF reasoner response.
      Parameters:
      status - The status of the ADF reasoner response.
      Returns:
      The current instance of ADFReasonerResponse.

    • 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