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

Method db_createRoot

cp-profiler/src/cpprofiler/tree/node_tree.cpp:86–96  ·  view source on GitHub ↗

Note that this form does not create children

Source from the content-addressed store, hash-verified

84
85/// Note that this form does not create children
86void NodeTree::db_createRoot(NodeID nid, Label label)
87{
88
89 structure_->db_createRoot(nid);
90 addEntry(nid);
91 setLabel(nid, label);
92
93 node_stats_.inform_depth(1);
94 node_stats_.add_branch(1);
95 node_info_->setStatus(nid, NodeStatus::BRANCH);
96}
97
98static bool is_closing(NodeStatus status)
99{

Callers

nothing calls this directly

Calls 3

inform_depthMethod · 0.80
add_branchMethod · 0.80
setStatusMethod · 0.80

Tested by

no test coverage detected