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

Method isBookmarked

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

Source from the content-addressed store, hash-verified

24}
25
26bool UserData::isBookmarked(tree::NodeID nid) const
27{
28 return bookmarks_.find(nid) != bookmarks_.end();
29}
30
31void UserData::clearBookmark(NodeID nid)
32{

Callers 2

bookmarkCurrentNodeMethod · 0.80
processCurrentNodeMethod · 0.80

Calls 2

findMethod · 0.80
endMethod · 0.45

Tested by

no test coverage detected