Method getLabel

cp-profiler/src/cpprofiler/tree/node_tree.cpp:274–287

}

const Label NodeTree::getLabel(NodeID nid) const
{
    // return std::to_string(nid);

    // auto uid = solver_data_->getSolverID(nid);
    // return uid.toString();

    auto &orig = labels_.at(nid);
    if (name_map_)
    {
        return name_map_->replaceNames(orig);
    }
    return orig;
}

const Nogood &NodeTree::getNogood(NodeID nid) const
{