profile.h

#ifndef CLINGO_PROFILE_H
#define CLINGO_PROFILE_H
 
#include <clingo/core.h>
 
#ifdef __cplusplus
extern "C" {
#endif
 
typedef struct clingo_control clingo_control_t;
 
 
 
enum clingo_profile_type_e {
    clingo_profile_type_step = 0, 
    clingo_profile_type_accu = 1, 
};
typedef int clingo_profile_type_t;
 
typedef struct clingo_profile_data {
    uint64_t matches;
    uint64_t instances;
    uint64_t time_instantiate;
    uint64_t time_propagate;
} clingo_profile_data_t;
 
typedef struct clingo_profile_visitor {
    bool (*internal)(size_t depth, char const *key, size_t key_size, bool nested, void *data);
    bool (*leaf)(size_t depth, clingo_profile_data_t *values, clingo_profile_type_t type, void *data);
 
} clingo_profile_visitor_t;
 
CLINGO_VISIBILITY_DEFAULT bool clingo_control_profile(clingo_control_t const *control,
                                                      clingo_profile_visitor_t const *visit, void *data);
 
#ifdef __cplusplus
}
#endif
 
#endif