profile.hh

#pragma once
 
#include <clingo/core.hh>
 
#include <clingo/profile.h>
 
#include <variant>
#include <vector>
 
namespace Clingo {
 
 
enum class ProfileType : clingo_profile_type_t {
    step = clingo_profile_type_step, 
    accu = clingo_profile_type_accu, 
};
 
struct ProfileNodeLeaf {
    ProfileNodeLeaf(ProfileType type, uint64_t matches = 0, uint64_t instances = 0, uint64_t time_instantiate = 0,
                    uint64_t time_propagate = 0)
        : type{type}, matches{matches}, instances{instances}, time_instantiate{time_instantiate},
          time_propagate{time_propagate} {}
 
    ProfileType type;          
    uint64_t matches;          
    uint64_t instances;        
    uint64_t time_instantiate; 
    uint64_t time_propagate;   
};
 
struct ProfileNodeInternal;
using ProfileNode = std::variant<ProfileNodeInternal, ProfileNodeLeaf>;
 
struct ProfileNodeInternal {
    ProfileNodeInternal(std::string key, bool nested) : key{std::move(key)}, nested{nested} {}
 
    std::string key;
    bool nested;
    std::vector<ProfileNode> children;
};
 
 
} // namespace Clingo