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

Method setSelectedNode

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

Source from the content-addressed store, hash-verified

4{
5
6void UserData::setSelectedNode(tree::NodeID nid)
7{
8 m_selected_node = nid;
9}
10
11tree::NodeID UserData::getSelectedNode() const
12{

Callers 4

removeSelectedNodeMethod · 0.80
binary_tree_executionFunction · 0.80
setNodeMethod · 0.80
setCurrentNodeMethod · 0.80

Calls

no outgoing calls

Tested by 1

binary_tree_executionFunction · 0.64