Package org.tweetyproject.web.services.paf

Class PafServicesInfoResponse

java.lang.Object
org.tweetyproject.web.services.Response
org.tweetyproject.web.services.paf.PafServicesInfoResponse
public class PafServicesInfoResponse extends Response
Info response for the probabilistic argumentation framework (PAF) web service.

  • Constructor Details

    • PafServicesInfoResponse

      public PafServicesInfoResponse()
      Creates an empty PAF services info response.

  • Method Details

    • getReply

      public String getReply()
      Returns the textual reply message.
      Returns:
      reply message

    • setReply

      public void setReply(String reply)
      Sets the textual reply message.
      Parameters:
      reply - reply message

    • getEmail

      public String getEmail()
      Returns the contact email associated with the response.
      Returns:
      email address

    • setEmail

      public void setEmail(String email)
      Sets the contact email associated with the response.
      Parameters:
      email - email address

    • getBackend_timeout

      public int getBackend_timeout()
      Returns the backend timeout value.
      Returns:
      backend timeout in seconds

    • setBackend_timeout

      public void setBackend_timeout(int backend_timeout)
      Sets the backend timeout value.
      Parameters:
      backend_timeout - backend timeout in seconds

    • getSemantics

      public List<String> getSemantics()
      Returns the supported semantics names.
      Returns:
      list of semantics names

    • setSemantics

      public void setSemantics(List<String> semantics)
      Sets the supported semantics names.
      Parameters:
      semantics - list of semantics names

    • getCommands

      public List<String> getCommands()
      Returns the available commands supported by the service.
      Returns:
      list of command names

    • setCommands

      public void setCommands(List<String> commands)
      Sets the available commands supported by the service.
      Parameters:
      commands - list of command names

    • getSolvers

      public List<String> getSolvers()
      Returns the supported solver names.
      Returns:
      list of solver names

    • setSolvers

      public void setSolvers(List<String> solvers)
      Sets the supported solver names.
      Parameters:
      solvers - list of solver names

    • 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