Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
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
148
void Structure::db_createRoot(NodeID nid)
149
{
150
db_createNode(nid, NodeID::NoNode, 0);
151
}
152
153
void Structure::db_createChild(NodeID nid, NodeID pid, int alt)
154
{
Callers
2
read_nodes
Function · 0.45
db_create_tree
Function · 0.45
Calls
no outgoing calls
Tested by
1
db_create_tree
Function · 0.36