control.h

#ifndef CLINGO_CONTROL_H
#define CLINGO_CONTROL_H
 
#ifdef __cplusplus
extern "C" {
#endif
 
#include <clingo/core.h>
#include <clingo/symbol.h>
 
typedef struct clingo_program clingo_program_t;
 
 
 
typedef struct clingo_control clingo_control_t;
 
enum clingo_mode_e {
    clingo_mode_parse = 0,   
    clingo_mode_rewrite = 1, 
    clingo_mode_ground = 2,  
    clingo_mode_solve = 3,   
};
typedef int clingo_mode_t;
 
typedef struct clingo_part {
    char const *name;              
    size_t name_size;              
    clingo_symbol_t const *params; 
    size_t params_size;            
} clingo_part_t;
 
typedef bool (*clingo_ground_callback_t)(clingo_lib_t *lib, clingo_location_t const *location, char const *name,
                                         size_t name_size, clingo_symbol_t const *arguments, size_t arguments_size,
                                         void *data, clingo_symbol_callback_t symbol_callback,
                                         void *symbol_callback_data);
 
typedef struct clingo_const_map clingo_const_map_t;
 
CLINGO_VISIBILITY_DEFAULT bool clingo_const_map_find(clingo_const_map_t const *map, char const *name, size_t name_size,
                                                     clingo_symbol_t *symbol, bool *found);
 
CLINGO_VISIBILITY_DEFAULT bool clingo_const_map_at(clingo_const_map_t const *map, size_t index, clingo_string_t *name,
                                                   clingo_symbol_t *symbol);
 
CLINGO_VISIBILITY_DEFAULT bool clingo_const_map_size(clingo_const_map_t const *map, size_t *size);
 
CLINGO_VISIBILITY_DEFAULT bool clingo_control_new(clingo_lib_t *lib, clingo_string_t const *arguments, size_t size,
                                                  clingo_control_t **control);
 
CLINGO_VISIBILITY_DEFAULT void clingo_control_acquire(clingo_control_t *control);
 
CLINGO_VISIBILITY_DEFAULT void clingo_control_release(clingo_control_t *control);
 
CLINGO_VISIBILITY_DEFAULT bool clingo_control_mode(clingo_control_t *control, clingo_mode_t *mode);
 
CLINGO_VISIBILITY_DEFAULT bool clingo_control_parse_files(clingo_control_t *control, clingo_string_t const *files,
                                                          size_t size);
 
CLINGO_VISIBILITY_DEFAULT bool clingo_control_parse_string(clingo_control_t *control, char const *program, size_t size);
 
CLINGO_VISIBILITY_DEFAULT bool clingo_control_ground(clingo_control_t *control, clingo_part_t const *parts, size_t size,
                                                     clingo_ground_callback_t ground_callback, void *data);
 
CLINGO_VISIBILITY_DEFAULT bool clingo_control_main(clingo_control_t *control);
 
CLINGO_VISIBILITY_DEFAULT bool clingo_control_const_map(clingo_control_t *control, clingo_const_map_t const **map);
 
CLINGO_VISIBILITY_DEFAULT bool clingo_control_buffer(clingo_control_t *control, clingo_string_t *result);
 
CLINGO_VISIBILITY_DEFAULT bool clingo_control_get_parts(clingo_control_t *control, clingo_part_t const **parts,
                                                        size_t *size, bool *has_value);
 
CLINGO_VISIBILITY_DEFAULT bool clingo_control_set_parts(clingo_control_t *control, clingo_part_t const *parts,
                                                        size_t size, bool has_value);
 
enum clingo_discard_type_e {
    minimize = 1,
    project = 2,
};
typedef unsigned clingo_discard_type_t;
 
CLINGO_VISIBILITY_DEFAULT bool clingo_control_discard(clingo_control_t *control, clingo_discard_type_t type);
 
CLINGO_VISIBILITY_DEFAULT void clingo_control_interrupt(clingo_control_t *control);
 
 
#ifdef __cplusplus
}
#endif
 
#endif