Package org.tweetyproject.web.services.adf

Class AdfReasonerPost

java.lang.Object
org.tweetyproject.web.services.adf.AdfReasonerPost
public class AdfReasonerPost extends Object
Request payload for ADF reasoner web service calls.

  • Constructor Summary

    Constructors
    Constructor
    Description
    AdfReasonerPost()
    Creates an empty request payload.

  • Method Summary

    Modifier and Type
    Method
    Description
    String
    getCmd()
    Gets the command type in the ADF reasoner request.
    List<String>
    getConditions()
    Gets the conditions information in the ADF reasoner request.
    String
    getEmail()
    Gets the email associated with the ADF reasoner request.
    int
    getNr_of_arguments()
    Gets the number of arguments in the ADF reasoner request.
    String
    getSemantics()
    Gets the semantics specified in the ADF reasoner request.
    String
    getSolver()
    Gets the solver specified in the ADF reasoner request.
    int
    getTimeout()
    Gets the timeout value (in seconds) specified in the ADF reasoner request.
    String
    getUnit_timeout()
    Gets the unit timeout value specified in the ADF reasoner request.
    void
    setCmd(String cmd)
    Sets the command type in the ADF reasoner request.
    void
    setConditions(List<String> conditions)
    Sets the conditions information in the ADF reasoner request.
    void
    setEmail(String email)
    Sets the email associated with the ADF reasoner request.
    void
    setNr_of_arguments(int nr_of_arguments)
    Sets the number of arguments in the ADF reasoner request.
    void
    setSemantics(String semantics)
    Sets the semantics in the ADF reasoner request.
    void
    setSolver(String solver)
    Sets the solver in the ADF reasoner request.
    void
    setTimeout(int timeout)
    Sets the timeout value (in seconds) in the ADF reasoner request.
    void
    setUnit_timeout(String unit_timeout)
    Sets the unit timeout value in the ADF reasoner request.

    Methods inherited from class java.lang.Object

    equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

  • Constructor Details

    • AdfReasonerPost

      public AdfReasonerPost()
      Creates an empty request payload.

  • Method Details

    • getUnit_timeout

      public String getUnit_timeout()
      Gets the unit timeout value specified in the ADF reasoner request.
      Returns:
      The unit timeout value

    • setUnit_timeout

      public void setUnit_timeout(String unit_timeout)
      Sets the unit timeout value in the ADF reasoner request.
      Parameters:
      unit_timeout - The unit timeout value to be set

    • getCmd

      public String getCmd()
      Gets the command type in the ADF reasoner request.
      Returns:
      The command type

    • setCmd

      public void setCmd(String cmd)
      Sets the command type in the ADF reasoner request.
      Parameters:
      cmd - The command type to be set

    • getEmail

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

    • setEmail

      public void setEmail(String email)
      Sets the email associated with the ADF reasoner request.
      Parameters:
      email - The email to be set

    • getNr_of_arguments

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

    • setNr_of_arguments

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

    • getConditions

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

    • setConditions

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

    • getSemantics

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

    • setSemantics

      public void setSemantics(String semantics)
      Sets the semantics in the ADF reasoner request.
      Parameters:
      semantics - The semantics to be set

    • getSolver

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

    • setSolver

      public void setSolver(String solver)
      Sets the solver in the ADF reasoner request.
      Parameters:
      solver - The solver to be set

    • getTimeout

      public int getTimeout()
      Gets the timeout value (in seconds) specified in the ADF reasoner request.
      Returns:
      The timeout value

    • setTimeout

      public void setTimeout(int timeout)
      Sets the timeout value (in seconds) in the ADF reasoner request.
      Parameters:
      timeout - The timeout value to be set