Package org.tweetyproject.web.services.aba

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 Summary

Constructors

Constructor	Description
AbaReasonerPost()	Default constructor for AbaReasonerPost.
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.

Method Summary

Modifier and Type	Method	Description
AbaReasonerPost	cmd(String cmd)	Sets the command for the ABA reasoner post request.
AbaReasonerPost	email(String email)	Sets the email associated with the request.
boolean	equals(Object o)
String	getCmd()	Gets the command for the ABA reasoner post request.
String	getEmail()	Gets the email associated with the request.
String	getFol_signature()	Gets the first-order logic (FOL) signature.
String	getKb()	Gets the knowledge base (KB) for the ABA reasoner post request.
String	getKb_format()	Gets the format of the knowledge base (KB).
String	getQuery_assumption()	Gets the query assumption for the ABA reasoner post request.
String	getSemantics()	Gets the semantics to be used in the ABA reasoner post request.
int	getTimeout()	Gets the timeout in seconds for the ABA reasoner post request.
String	getUnit_timeout()	Gets the unit timeout for the ABA reasoner post request.
int	hashCode()
AbaReasonerPost	kb(String kb)	Sets the knowledge base (KB) for the ABA reasoner post request.
AbaReasonerPost	kb_format(String kb_format)	Sets the format of the knowledge base (KB).
AbaReasonerPost	query_assumption(String query_assumption)	Sets the query assumption for the ABA reasoner post request.
AbaReasonerPost	semantics(String semantics)	Sets the semantics to be used in the ABA reasoner post request.
void	setCmd(String cmd)	Sets the command for the ABA reasoner post request.
void	setEmail(String email)	Sets the email associated with the request.
void	setFol_signature(String fol_signature)	Sets the first-order logic (FOL) signature.
void	setKb(String kb)	Sets the knowledge base (KB) for the ABA reasoner post request.
void	setKb_format(String kb_format)	Sets the format of the knowledge base (KB).
void	setQuery_assumption(String query_assumption)	Sets the query assumption for the ABA reasoner post request.
void	setSemantics(String semantics)	Sets the semantics to be used in the ABA reasoner post request.
void	setTimeout(int timeout)	Sets the timeout in seconds for the ABA reasoner post request.
void	setUnit_timeout(String unit_timeout)	Sets the unit timeout for the ABA reasoner post request.
AbaReasonerPost	timeout(int timeout)	Sets the timeout in seconds for the ABA reasoner post request.
String	toString()
AbaReasonerPost	unit_timeout(String unit_timeout)	Sets the unit timeout for the ABA reasoner post request.

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

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