Uses of Class
org.tweetyproject.web.services.dung.DungServicesInfoResponse

Packages that use DungServicesInfoResponse

Package	Description
org.tweetyproject.web.services
org.tweetyproject.web.services.dung

Uses of DungServicesInfoResponse in org.tweetyproject.web.services

Methods in org.tweetyproject.web.services that return DungServicesInfoResponse

Modifier and Type	Method	Description
DungServicesInfoResponse	RequestController.getInfo(DungReasonerPost dungPost)	Handles a POST request to retrieve information about the Dung reasoner services.

Uses of DungServicesInfoResponse in org.tweetyproject.web.services.dung

Methods in org.tweetyproject.web.services.dung that return DungServicesInfoResponse

Modifier and Type	Method	Description
DungServicesInfoResponse	DungServicesInfoResponse.backend_timeout(int backend_timeout)	Sets the backend timeout and returns this instance for method chaining.
DungServicesInfoResponse	DungServicesInfoResponse.commands(List<String> commands)	Sets the commands and returns this instance for method chaining.
DungServicesInfoResponse	DungServicesInfoResponse.email(String email)	Sets the email address and returns this instance for method chaining.
DungServicesInfoResponse	DungServicesInfoResponse.reply(String reply)	Sets the reply message and returns this instance for method chaining.
DungServicesInfoResponse	DungServicesInfoResponse.semantics(List<String> semantics)	Sets the semantics and returns this instance for method chaining.