Class DungReasonerPost

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

  • Constructor Details

    • DungReasonerPost

      public DungReasonerPost()

  • Method Details

    • getUnit_timeout

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

    • setUnit_timeout

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

    • getCmd

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

    • setCmd

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

    • getEmail

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

    • setEmail

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

    • getNr_of_arguments

      public int getNr_of_arguments()
      Gets the number of arguments in the Dung 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 Dung 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 Dung reasoner request.
      Returns:
      The attacks information

    • setAttacks

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

    • getSemantics

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

    • setSemantics

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

    • getSolver

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

    • setSolver

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

    • getTimeout

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

    • setTimeout

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