Class AbaReasonerPost

java.lang.Object
org.tweetyproject.web.services.aba.AbaReasonerPost
public class AbaReasonerPost extends Object
The AbaReasonerPost class represents a data structure for sending post requests to an Argumentation-Based Argumentation (ABA) reasoner.

  • Constructor Details

    • AbaReasonerPost

      public AbaReasonerPost()
      Default constructor for AbaReasonerPost.

    • AbaReasonerPost

      public AbaReasonerPost(String cmd, String email, String kb, String kb_format, String fol_signature, String query_assumption, String semantics, int timeout, String unit_timeout)
      Parameterized constructor for AbaReasonerPost.
      Parameters:
      cmd - The command for the ABA reasoner post request
      email - The email associated with the request
      kb - The knowledge base (KB) for the ABA reasoner post request
      kb_format - The format of the knowledge base (KB)
      fol_signature - The first-order logic (FOL) signature
      query_assumption - The query assumption for the ABA reasoner post request
      semantics - The semantics to be used in the ABA reasoner post request
      timeout - The timeout in seconds for the ABA reasoner post request
      unit_timeout - The unit timeout for the ABA reasoner post request

  • Method Details

    • getCmd

      public String getCmd()
      Gets the command for the ABA reasoner post request.
      Returns:
      The command for the ABA reasoner post request.

    • setCmd

      public void setCmd(String cmd)
      Sets the command for the ABA reasoner post request.
      Parameters:
      cmd - The command for the ABA reasoner post request.

    • getEmail

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

    • setEmail

      public void setEmail(String email)
      Sets the email associated with the request.
      Parameters:
      email - The email associated with the request.

    • getKb

      public String getKb()
      Gets the knowledge base (KB) for the ABA reasoner post request.
      Returns:
      The knowledge base (KB) for the ABA reasoner post request.

    • setKb

      public void setKb(String kb)
      Sets the knowledge base (KB) for the ABA reasoner post request.
      Parameters:
      kb - The knowledge base (KB) for the ABA reasoner post request.

    • getKb_format

      public String getKb_format()
      Gets the format of the knowledge base (KB).
      Returns:
      The format of the knowledge base (KB).

    • setKb_format

      public void setKb_format(String kb_format)
      Sets the format of the knowledge base (KB).
      Parameters:
      kb_format - The format of the knowledge base (KB).

    • getFol_signature

      public String getFol_signature()
      Gets the first-order logic (FOL) signature.
      Returns:
      The first-order logic (FOL) signature.

    • setFol_signature

      public void setFol_signature(String fol_signature)
      Sets the first-order logic (FOL) signature.
      Parameters:
      fol_signature - The first-order logic (FOL) signature.

    • getQuery_assumption

      public String getQuery_assumption()
      Gets the query assumption for the ABA reasoner post request.
      Returns:
      The query assumption for the ABA reasoner post request.

    • setQuery_assumption

      public void setQuery_assumption(String query_assumption)
      Sets the query assumption for the ABA reasoner post request.
      Parameters:
      query_assumption - The query assumption for the ABA reasoner post request.

    • getSemantics

      public String getSemantics()
      Gets the semantics to be used in the ABA reasoner post request.
      Returns:
      The semantics to be used in the ABA reasoner post request.

    • setSemantics

      public void setSemantics(String semantics)
      Sets the semantics to be used in the ABA reasoner post request.
      Parameters:
      semantics - The semantics to be used in the ABA reasoner post request.

    • getTimeout

      public int getTimeout()
      Gets the timeout in seconds for the ABA reasoner post request.
      Returns:
      The timeout in seconds for the ABA reasoner post request.

    • setTimeout

      public void setTimeout(int timeout)
      Sets the timeout in seconds for the ABA reasoner post request.
      Parameters:
      timeout - The timeout in seconds for the ABA reasoner post request.

    • getUnit_timeout

      public String getUnit_timeout()
      Gets the unit timeout for the ABA reasoner post request.
      Returns:
      The unit timeout for the ABA reasoner post request.

    • setUnit_timeout

      public void setUnit_timeout(String unit_timeout)
      Sets the unit timeout for the ABA reasoner post request.
      Parameters:
      unit_timeout - The unit timeout for the ABA reasoner post request.

    • cmd

      public AbaReasonerPost cmd(String cmd)
      Sets the command for the ABA reasoner post request.
      Parameters:
      cmd - The command for the ABA reasoner post request.
      Returns:
      The current instance of AbaReasonerPost.

    • email

      public AbaReasonerPost email(String email)
      Sets the email associated with the request.
      Parameters:
      email - The email associated with the request.
      Returns:
      The current instance of AbaReasonerPost.

    • kb

      public AbaReasonerPost kb(String kb)
      Sets the knowledge base (KB) for the ABA reasoner post request.
      Parameters:
      kb - The knowledge base (KB) for the ABA reasoner post request.
      Returns:
      The current instance of AbaReasonerPost.

    • kb_format

      public AbaReasonerPost kb_format(String kb_format)
      Sets the format of the knowledge base (KB).
      Parameters:
      kb_format - The format of the knowledge base (KB).
      Returns:
      The current instance of AbaReasonerPost.

    • query_assumption

      public AbaReasonerPost query_assumption(String query_assumption)
      Sets the query assumption for the ABA reasoner post request.
      Parameters:
      query_assumption - The query assumption for the ABA reasoner post request.
      Returns:
      The current instance of AbaReasonerPost.

    • semantics

      public AbaReasonerPost semantics(String semantics)
      Sets the semantics to be used in the ABA reasoner post request.
      Parameters:
      semantics - The semantics to be used in the ABA reasoner post request.
      Returns:
      The current instance of AbaReasonerPost.

    • timeout

      public AbaReasonerPost timeout(int timeout)
      Sets the timeout in seconds for the ABA reasoner post request.
      Parameters:
      timeout - The timeout in seconds for the ABA reasoner post request.
      Returns:
      The current instance of AbaReasonerPost.

    • unit_timeout

      public AbaReasonerPost unit_timeout(String unit_timeout)
      Sets the unit timeout for the ABA reasoner post request.
      Parameters:
      unit_timeout - The unit timeout for the ABA reasoner post request.
      Returns:
      The current instance of AbaReasonerPost.

    • 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