Method computeHeatMap

cp-profiler/src/cpprofiler/conductor.cpp:589–650

}

void Conductor::computeHeatMap(ExecID eid, std::vector<NodeID> ns)
{

    auto it = exec_meta_.find(eid);

    if (it == exec_meta_.end())
    {
        print("No metadata for eid {} (ExecMeta)", eid);
        return;
    }

    /// check if namemap is there
    const auto nm = it->second.name_map;

    if (!nm)
    {
        print("no name map for eid: {}", eid);
        return;
    }

    const auto exec = executions_.at(eid);

    const auto &sd = exec->solver_data();

    std::unordered_map<int, int> con_counts;

    for (const auto& n : ns)
    {
        const auto *cs = sd.getContribConstraints(n);

        if (!cs)
            continue;

        for (int con_id : *cs)
        {
            con_counts[con_id]++;
        }
    }

    int max_count = 0;
    for (const auto& p : con_counts)
    {
        if (p.second > max_count)
        {
            max_count = p.second;
        }
    }

    const auto url = getHeatMapUrl(*nm, con_counts, max_count);

    if (url.empty())
        return;

    std::stringstream label;

    for (const auto n : ns)
    {
        label << std::to_string(n) << ' ';