clingo_application Struct Reference

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

#include <app.h>

Public Attributes
void(*	program_name )(void *data, clingo_string_t *string)
	callback to obtain program name
void(*	version )(void *data, clingo_string_t *string)
	callback to obtain version information
clingo_main_function_t	main
	callback to override clingo's main function
clingo_model_printer_t	print_model
	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

Detailed Description

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

Examples

app.c.

---

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

• clingo/app.h