Package org.tweetyproject.web.services.iaf

Class IafReasonerPost

java.lang.Object
org.tweetyproject.web.services.iaf.IafReasonerPost
public class IafReasonerPost extends Object
Request payload for iAF reasoner web service calls.

  • Constructor Details

    • IafReasonerPost

      public IafReasonerPost()
      Creates an empty request payload.

  • Method Details

    • getUnit_timeout

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

    • setUnit_timeout

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

    • getCmd

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

    • setCmd

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

    • getEmail

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

    • setEmail

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

    • getNr_of_arguments

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

    • getUncertainArguments

      public List<Integer> getUncertainArguments()
      Gets the uncertain arguments information in the iAF reasoner request.
      Returns:
      The uncertain arguments information

    • setUncertainArguments

      public void setUncertainArguments(List<Integer> uncertainArguments)
      Sets the uncertain arguments information in the iAF reasoner request.
      Parameters:
      uncertainArguments - The uncertain arguments information to be set

    • getDefiniteAttacks

      public List<List<Integer>> getDefiniteAttacks()
      Gets the definite attacks information in the iAF reasoner request.
      Returns:
      The definite attacks information

    • setUncertainAttacks

      public void setUncertainAttacks(List<List<Integer>> uncertainAttacks)
      Sets the uncertain attacks information in the iAF reasoner request.
      Parameters:
      uncertainAttacks - The uncertain attacks information to be set

    • getUncertainAttacks

      public List<List<Integer>> getUncertainAttacks()
      Gets the uncertain attacks information in the iAF reasoner request.
      Returns:
      The uncertain attacks information

    • setDefiniteAttacks

      public void setDefiniteAttacks(List<List<Integer>> definiteAttacks)
      Sets the definite attacks information in the iAF reasoner request.
      Parameters:
      definiteAttacks - The definite attacks information to be set

    • getSemantics

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

    • setSemantics

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

    • getSolver

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

    • setSolver

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

    • getTimeout

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

    • setTimeout

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