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

Method db_createNode

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

Source from the content-addressed store, hash-verified

49}
50
51void Structure::db_createNode(NodeID nid, NodeID pid, int kids)
52{
53 nodes_[nid] = std::unique_ptr<Node>{new Node(pid, kids)};
54}
55
56NodeID Structure::createChild(NodeID pid, int alt, int kids)
57{

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected