stats.h

#ifndef CLINGO_STATS_H
#define CLINGO_STATS_H
 
#ifdef __cplusplus
extern "C" {
#endif
 
#include <clingo/core.h>
 
typedef struct clingo_control clingo_control_t;
 
 
 
enum clingo_stats_type_e {
    clingo_stats_type_value = 0, 
    clingo_stats_type_array = 1, 
    clingo_stats_type_map = 2    
};
typedef int clingo_stats_type_t;
 
typedef struct clingo_statistic clingo_stats_t;
 
CLINGO_VISIBILITY_DEFAULT bool clingo_stats_root(clingo_stats_t const *stats, uint64_t *key);
 
CLINGO_VISIBILITY_DEFAULT bool clingo_stats_type(clingo_stats_t const *stats, uint64_t key, clingo_stats_type_t *type);
 
CLINGO_VISIBILITY_DEFAULT bool clingo_stats_to_string(clingo_stats_t const *stats, uint64_t key,
                                                      clingo_string_builder_t *builder);
 
 
CLINGO_VISIBILITY_DEFAULT bool clingo_stats_array_size(clingo_stats_t const *stats, uint64_t key, size_t *size);
CLINGO_VISIBILITY_DEFAULT bool clingo_stats_array_at(clingo_stats_t const *stats, uint64_t key, size_t offset,
                                                     uint64_t *subkey);
CLINGO_VISIBILITY_DEFAULT bool clingo_stats_array_push(clingo_stats_t *stats, uint64_t key, clingo_stats_type_t type,
                                                       uint64_t *subkey);
 
 
CLINGO_VISIBILITY_DEFAULT bool clingo_stats_map_size(clingo_stats_t const *stats, uint64_t key, size_t *size);
CLINGO_VISIBILITY_DEFAULT bool clingo_stats_map_has_subkey(clingo_stats_t const *stats, uint64_t key, char const *name,
                                                           size_t size, bool *result);
CLINGO_VISIBILITY_DEFAULT bool clingo_stats_map_subkey_name(clingo_stats_t const *stats, uint64_t key, size_t offset,
                                                            clingo_string_t *name);
CLINGO_VISIBILITY_DEFAULT bool clingo_stats_map_at(clingo_stats_t const *stats, uint64_t key, char const *name,
                                                   size_t size, uint64_t *subkey);
CLINGO_VISIBILITY_DEFAULT bool clingo_stats_map_add_subkey(clingo_stats_t *stats, uint64_t key, char const *name,
                                                           size_t size, clingo_stats_type_t type, uint64_t *subkey);
 
 
CLINGO_VISIBILITY_DEFAULT bool clingo_stats_value_get(clingo_stats_t const *stats, uint64_t key, double *value);
CLINGO_VISIBILITY_DEFAULT bool clingo_stats_value_set(clingo_stats_t *stats, uint64_t key, double value);
 
CLINGO_VISIBILITY_DEFAULT bool clingo_control_stats(clingo_control_t *control, clingo_stats_t const **stats);
 
 
#ifdef __cplusplus
}
#endif
 
#endif