MCPcopy 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
153void Structure::db_createChild(NodeID nid, NodeID pid, int alt)
154{
155 db_createNode(nid, pid, 0);
156 nodes_[pid]->setChild(nid, alt);
157}
158
159void Structure::db_addChild(NodeID nid, NodeID pid, int alt)
160{

Callers

nothing calls this directly

Calls 1

setChildMethod · 0.80

Tested by

no test coverage detected