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

Method getSelectedNode

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

Source from the content-addressed store, hash-verified

9}
10
11tree::NodeID UserData::getSelectedNode() const
12{
13 return m_selected_node;
14}
15
16void UserData::setBookmark(tree::NodeID nid, const std::string &text)
17{

Callers 3

removeSelectedNodeMethod · 0.80
nodeMethod · 0.80
processCurrentNodeMethod · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected