config.h

#ifndef CLINGO_CONFIG_H
#define CLINGO_CONFIG_H
 
#ifdef __cplusplus
extern "C" {
#endif
 
#include <clingo/core.h>
 
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;
 
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_has_subkey(clingo_config_t const *config, clingo_id_t key,
                                                            char const *name, size_t size, bool *result);
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);
 
 
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