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

Method db_createRoot

cp-profiler/src/cpprofiler/tree/structure.cpp:148–151  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

146}
147
148void Structure::db_createRoot(NodeID nid)
149{
150 db_createNode(nid, NodeID::NoNode, 0);
151}
152
153void Structure::db_createChild(NodeID nid, NodeID pid, int alt)
154{

Callers 2

read_nodesFunction · 0.45
db_create_treeFunction · 0.45

Calls

no outgoing calls

Tested by 1

db_create_treeFunction · 0.36