Clingo C API
C API for clingo providing high level functions to control grounding and solving.
Public Attributes | List of all members
clingo_application Struct Reference

Detailed Description

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

Examples:
application.c.

Public Attributes

char const *(* program_name )(void *data)
 callback to obtain program name
 
char const *(* 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: