config.h

#ifndef CLINGO_CONFIG_H
#define CLINGO_CONFIG_H
 
#include <clingo/core.h>
 
#ifdef __cplusplus
extern "C" {
#endif
 
typedef struct clingo_control clingo_control_t;
 
 
 
enum clingo_config_type_e {
    clingo_config_type_value = 1, 
    clingo_config_type_array = 2, 
    clingo_config_type_map = 4    
};
typedef unsigned clingo_config_type_bitset_t;
 
typedef struct clingo_config clingo_config_t;
 
typedef struct clingo_config_entry {
    bool (*get)(size_t const *index, void *data, clingo_string_t *value, bool *has_value);
 
    bool (*set)(size_t const *index, char const *value, size_t size, void *data);
 
    bool (*size)(void *data, size_t *size, bool *has_size);
 
    void (*free)(void *data);
} clingo_config_entry_t;
 
CLINGO_VISIBILITY_DEFAULT bool clingo_config_add(clingo_config_t *config, clingo_id_t parent, char const *name,
                                                 size_t name_size, char const *description, size_t description_size,
                                                 clingo_config_entry_t const *entry, void *data);
 
CLINGO_VISIBILITY_DEFAULT bool clingo_config_root(clingo_config_t const *config, clingo_id_t *key);
 
CLINGO_VISIBILITY_DEFAULT bool clingo_config_type(clingo_config_t const *config, clingo_id_t key,
                                                  clingo_config_type_bitset_t *type);
CLINGO_VISIBILITY_DEFAULT bool clingo_config_description(clingo_config_t const *config, clingo_id_t key,
                                                         clingo_string_t *description);
 
 
CLINGO_VISIBILITY_DEFAULT bool clingo_config_array_size(clingo_config_t const *config, clingo_id_t key, size_t *size);
CLINGO_VISIBILITY_DEFAULT bool clingo_config_array_at(clingo_config_t const *config, clingo_id_t key, size_t offset,
                                                      clingo_id_t *subkey);
 
 
CLINGO_VISIBILITY_DEFAULT bool clingo_config_map_size(clingo_config_t const *config, clingo_id_t key, size_t *size);
CLINGO_VISIBILITY_DEFAULT bool clingo_config_map_subkey_name(clingo_config_t const *config, clingo_id_t key,
                                                             size_t offset, clingo_string_t *name);
CLINGO_VISIBILITY_DEFAULT bool clingo_config_map_at(clingo_config_t const *config, clingo_id_t key, char const *name,
                                                    size_t size, clingo_id_t *subkey, bool *has_subkey);
 
 
CLINGO_VISIBILITY_DEFAULT bool clingo_config_value_get(clingo_config_t const *config, clingo_id_t key,
                                                       clingo_string_t *value, bool *has_value);
CLINGO_VISIBILITY_DEFAULT bool clingo_config_value_set(clingo_config_t *config, clingo_id_t key, char const *value,
                                                       size_t size);
 
CLINGO_VISIBILITY_DEFAULT bool clingo_config_to_string(clingo_config_t const *config, clingo_id_t key,
                                                       clingo_string_builder_t *builder);
 
 
CLINGO_VISIBILITY_DEFAULT bool clingo_control_config(clingo_control_t *control, clingo_config_t **config);
 
 
#ifdef __cplusplus
}
#endif
 
#endif