Package org.tweetyproject.web.services.dung

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 Summary

Constructors

Constructor	Description
DungReasonerPost()

Method Summary

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

Methods inherited from class java.lang.Object

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

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