Method bookmarkedNodes

cp-profiler/src/cpprofiler/user_data.cpp:36–46

}

std::vector<tree::NodeID> UserData::bookmarkedNodes() const
{

    std::vector<tree::NodeID> res;
    for (const auto &item : bookmarks_)
    {
        res.push_back(item.first);
    }

    return res;
}

} // namespace cpprofiler