MCPcopy Create free account
hub / github.com/MiniZinc/MiniZincIDE / setBookmark

Method setBookmark

cp-profiler/src/cpprofiler/user_data.cpp:16–19  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

14}
15
16void UserData::setBookmark(tree::NodeID nid, const std::string &text)
17{
18 bookmarks_.insert({nid, text});
19}
20
21const std::string &UserData::getBookmark(tree::NodeID nid) const
22{

Callers 3

read_bookmarksFunction · 0.80
save_and_loadFunction · 0.80
bookmarkCurrentNodeMethod · 0.80

Calls

no outgoing calls

Tested by 1

save_and_loadFunction · 0.64