clingo_application Struct Reference

Detailed Description

This struct contains a set of functions to customize the clingo application.

Examples

application.c.

Public Attributes
const char *(*	program_name )(void *data)
	callback to obtain program name
const char *(*	version )(void *data)
	callback to obtain version information
unsigned(*	message_limit )(void *data)
	callback to obtain message limit
clingo_main_function_t	main
	callback to override clingo's main function
clingo_logger_t	logger
	callback to override default logger
clingo_model_printer_t	printer
	callback to override default model printing
bool(*	register_options )(clingo_options_t *options, void *data)
	callback to register options
bool(*	validate_options )(void *data)
	callback validate options

---

The documentation for this struct was generated from the following file:

• clingo.h