Clingo
|
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 | |
This struct contains a set of functions to customize the clingo application.