Uses of Class
org.tweetyproject.web.services.adf.AdfReasonerResponse
Packages that use AdfReasonerResponse
-
Uses of AdfReasonerResponse in org.tweetyproject.web.services.adf
Methods in org.tweetyproject.web.services.adf that return AdfReasonerResponseModifier and TypeMethodDescriptionSets the answer provided by the ADF reasoner response.AdfReasonerResponse.conditions(List<String> conditions) Sets the conditions information in the ADF reasoner response.Sets the email associated with the ADF reasoner response.AdfReasonerResponse.nr_of_arguments(int nr_of_arguments) Sets the number of arguments in the ADF reasoner response.Sets the reply message in the ADF reasoner response.Sets the semantics specified in the ADF reasoner response.Sets the solver specified in the ADF reasoner response.Sets the status of the ADF reasoner response.AdfReasonerResponse.time(int time) Sets the time taken for the ADF reasoner operation (in seconds).