Class BipolarReasonerPost
java.lang.Object
org.tweetyproject.web.services.bipolar.BipolarReasonerPost
Request payload for bipolar reasoner web service calls.
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionGets the attacks information in the bipolar reasoner request.getCmd()Gets the command type in the bipolar reasoner request.getEmail()Gets the email associated with the bipolar reasoner request.intGets the number of arguments in the bipolar reasoner request.Gets the semantics specified in the bipolar reasoner request.Gets the solver specified in the bipolar reasoner request.Gets the supports information in the bipolar reasoner request.intGets the timeout value (in seconds) specified in the bipolar reasoner request.Gets the unit timeout value specified in the bipolar reasoner request.voidsetAttacks(List<List<Integer>> attacks) Sets the attacks information in the bipolar reasoner request.voidSets the command type in the bipolar reasoner request.voidSets the email associated with the bipolar reasoner request.voidsetNr_of_arguments(int nr_of_arguments) Sets the number of arguments in the bipolar reasoner request.voidsetSemantics(String semantics) Sets the semantics in the bipolar reasoner request.voidSets the solver in the bipolar reasoner request.voidsetSupports(List<List<Integer>> supports) Sets the supports information in the bipolar reasoner request.voidsetTimeout(int timeout) Sets the timeout value (in seconds) in the bipolar reasoner request.voidsetUnit_timeout(String unit_timeout) Sets the unit timeout value in the bipolar reasoner request.
-
Constructor Details
-
BipolarReasonerPost
public BipolarReasonerPost()Creates an empty request payload.
-
-
Method Details
-
getUnit_timeout
Gets the unit timeout value specified in the bipolar reasoner request.- Returns:
- The unit timeout value
-
setUnit_timeout
Sets the unit timeout value in the bipolar reasoner request.- Parameters:
unit_timeout- The unit timeout value to be set
-
getCmd
Gets the command type in the bipolar reasoner request.- Returns:
- The command type
-
setCmd
Sets the command type in the bipolar reasoner request.- Parameters:
cmd- The command type to be set
-
getEmail
Gets the email associated with the bipolar reasoner request.- Returns:
- The email associated with the request
-
setEmail
Sets the email associated with the bipolar reasoner request.- Parameters:
email- The email to be set
-
getNr_of_arguments
public int getNr_of_arguments()Gets the number of arguments in the bipolar 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 bipolar reasoner request.- Parameters:
nr_of_arguments- The number of arguments to be set
-
getAttacks
Gets the attacks information in the bipolar reasoner request.- Returns:
- The attacks information
-
setAttacks
Sets the attacks information in the bipolar reasoner request.- Parameters:
attacks- The attacks information to be set
-
getSupports
Gets the supports information in the bipolar reasoner request.- Returns:
- The supports information
-
setSupports
Sets the supports information in the bipolar reasoner request.- Parameters:
supports- The supports information to be set
-
getSemantics
Gets the semantics specified in the bipolar reasoner request.- Returns:
- The semantics specified
-
setSemantics
Sets the semantics in the bipolar reasoner request.- Parameters:
semantics- The semantics to be set
-
getSolver
Gets the solver specified in the bipolar reasoner request.- Returns:
- The solver specified
-
setSolver
Sets the solver in the bipolar reasoner request.- Parameters:
solver- The solver to be set
-
getTimeout
public int getTimeout()Gets the timeout value (in seconds) specified in the bipolar reasoner request.- Returns:
- The timeout value
-
setTimeout
public void setTimeout(int timeout) Sets the timeout value (in seconds) in the bipolar reasoner request.- Parameters:
timeout- The timeout value to be set
-