Uses of Class
org.tweetyproject.web.services.dung.DungReasonerResponse
-
Uses of DungReasonerResponse in org.tweetyproject.web.services.dung
Modifier and TypeMethodDescriptionSets the answer provided by the Dung reasoner response.Sets the attacks information in the Dung reasoner response.Sets the email associated with the Dung reasoner response.DungReasonerResponse.nr_of_arguments
(int nr_of_arguments) Sets the number of arguments in the Dung reasoner response.Sets the reply message in the Dung reasoner response.Sets the semantics specified in the Dung reasoner response.Sets the solver specified in the Dung reasoner response.Sets the status of the Dung reasoner response.DungReasonerResponse.time
(int time) Sets the time taken for the Dung reasoner operation (in seconds).