Clingo
Loading...
Searching...
No Matches
app.h
1#ifndef CLINGO_APP_H
2#define CLINGO_APP_H
3
4#ifdef __cplusplus
5extern "C" {
6#endif
7
8#include <clingo/control.h>
9#include <clingo/core.h>
10#include <clingo/solve.h>
11
39
44
46typedef struct clingo_options clingo_options_t;
47
55typedef bool (*clingo_main_function_t)(clingo_control_t *control, clingo_string_t const *files, size_t size,
56 void *data);
57
62typedef bool (*clingo_default_model_printer_t)(void *data);
63
71typedef bool (*clingo_model_printer_t)(clingo_model_t const *model, clingo_default_model_printer_t printer,
72 void *printer_data, void *data);
73
75typedef struct clingo_application {
76 void (*program_name)(void *data, clingo_string_t *string);
77 void (*version)(void *data, clingo_string_t *string);
78 clingo_main_function_t main;
79 clingo_model_printer_t print_model;
80 bool (*register_options)(clingo_options_t *options, void *data);
81 bool (*validate_options)(void *data);
82} clingo_application_t;
83
91typedef bool (*clingo_option_parser_t)(char const *value, size_t size, void *data, bool *result);
92
117CLINGO_VISIBILITY_DEFAULT bool clingo_options_add(clingo_options_t *options, char const *group, size_t group_size,
118 char const *option, size_t option_size, char const *description,
119 size_t description_size, clingo_option_parser_t parser, void *data,
120 bool multi, char const *argument, size_t argument_size);
135CLINGO_VISIBILITY_DEFAULT bool clingo_options_add_flag(clingo_options_t *options, char const *group, size_t group_size,
136 char const *option, size_t option_size, char const *description,
137 size_t description_size, bool *target);
138
152CLINGO_VISIBILITY_DEFAULT bool clingo_main(clingo_lib_t *lib, clingo_string_t const *arguments, size_t size,
153 clingo_application_t const *app, void *data, int *code);
154
156
157#ifdef __cplusplus
158}
159#endif
160
161#endif
clingo_option_parser_t
bool(* clingo_option_parser_t)(char const *value, size_t size, void *data, bool *result)
Callback to parse the value of a command-line option.
Definition app.h:91
clingo_default_model_printer_t
bool(* clingo_default_model_printer_t)(void *data)
Callback to print a model in default format.
Definition app.h:62
clingo_options_t
struct clingo_options clingo_options_t
Object to add command-line options.
Definition app.h:46
clingo_model_printer_t
bool(* clingo_model_printer_t)(clingo_model_t const *model, clingo_default_model_printer_t printer, void *printer_data, void *data)
Callback to customize model printing.
Definition app.h:71
clingo_options_add_flag
CLINGO_VISIBILITY_DEFAULT bool clingo_options_add_flag(clingo_options_t *options, char const *group, size_t group_size, char const *option, size_t option_size, char const *description, size_t description_size, bool *target)
Add an option that is a simple flag.
clingo_main
CLINGO_VISIBILITY_DEFAULT bool clingo_main(clingo_lib_t *lib, clingo_string_t const *arguments, size_t size, clingo_application_t const *app, void *data, int *code)
Run an application with the given library and arguments.
clingo_main_function_t
bool(* clingo_main_function_t)(clingo_control_t *control, clingo_string_t const *files, size_t size, void *data)
Callback to customize clingo main function.
Definition app.h:55
clingo_options_add
CLINGO_VISIBILITY_DEFAULT bool clingo_options_add(clingo_options_t *options, char const *group, size_t group_size, char const *option, size_t option_size, char const *description, size_t description_size, clingo_option_parser_t parser, void *data, bool multi, char const *argument, size_t argument_size)
Add an option that is processed with a custom parser.
clingo_application_t
struct clingo_application clingo_application_t
This struct contains a set of functions to customize the clingo application.
clingo_lib_t
struct clingo_lib clingo_lib_t
A library object storing global information.
Definition core.h:176
clingo_model_t
struct clingo_model clingo_model_t
Object representing a model.
Definition model.h:43
clingo_application
This struct contains a set of functions to customize the clingo application.
Definition app.h:75
clingo_application::print_model
clingo_model_printer_t print_model
callback to override default model printing
Definition app.h:79
clingo_application::register_options
bool(* register_options)(clingo_options_t *options, void *data)
callback to register options
Definition app.h:80
clingo_application::validate_options
bool(* validate_options)(void *data)
callback validate options
Definition app.h:81
clingo_application::program_name
void(* program_name)(void *data, clingo_string_t *string)
callback to obtain program name
Definition app.h:76
clingo_application::main
clingo_main_function_t main
callback to override clingo's main function
Definition app.h:78
clingo_application::version
void(* version)(void *data, clingo_string_t *string)
callback to obtain version information
Definition app.h:77
clingo_string
Struct to capture strings that are not null-terminated.
Definition core.h:91