Clingo
Loading...
Searching...
No Matches
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.


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