Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/MiniZinc/MiniZincIDE
/ db_createChild
Method
db_createChild
cp-profiler/src/cpprofiler/tree/structure.cpp:153–157 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
151
}
152
153
void Structure::db_createChild(NodeID nid, NodeID pid, int alt)
154
{
155
db_createNode(nid, pid, 0);
156
nodes_[pid]->setChild(nid, alt);
157
}
158
159
void Structure::db_addChild(NodeID nid, NodeID pid, int alt)
160
{
Callers
nothing calls this directly
Calls
1
setChild
Method · 0.80
Tested by
no test coverage detected