Package org.tweetyproject.web.services.rankings

Class RankingReasonerPost

java.lang.Object
org.tweetyproject.web.services.rankings.RankingReasonerPost
public class RankingReasonerPost extends Object
The RankingReasonerPost class represents a data structure for holding information related to a Ranking argumentation reasoner request sent via HTTP POST.

  • Constructor Summary

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

  • Method Summary

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

    Methods inherited from class java.lang.Object

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

  • Constructor Details

    • RankingReasonerPost

      public RankingReasonerPost()
      Creates an empty request payload.

  • Method Details

    • getUnit_timeout

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

    • setUnit_timeout

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

    • getCmd

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

    • setCmd

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

    • getEmail

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

    • setEmail

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

    • getNr_of_arguments

      public int getNr_of_arguments()
      Gets the number of arguments in the Ranking 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 Ranking reasoner request.
      Parameters:
      nr_of_arguments - The number of arguments to be set

    • getAttacks

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

    • setAttacks

      public void setAttacks(List<List<Integer>> attacks)
      Sets the attacks information in the Ranking reasoner request.
      Parameters:
      attacks - The attacks information to be set

    • getSemantics

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

    • setSemantics

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

    • getSolver

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

    • setSolver

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

    • getTimeout

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

    • setTimeout

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