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

Function db_create_tree

cp-profiler/src/cpprofiler/tests/execution_test.cpp:421–433  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

419}
420
421static void db_create_tree(Conductor &c)
422{
423
424 auto ex = c.addNewExecution("Created as in DB");
425 auto &tree = ex->tree();
426
427 tree.db_initialize(100);
428
429 tree.db_createRoot(NodeID{0});
430
431 tree.db_addChild(NodeID{1}, NodeID{0}, 0, tree::NodeStatus::BRANCH, "a");
432 tree.db_addChild(NodeID{2}, NodeID{0}, 1, tree::NodeStatus::BRANCH, "b");
433}
434
435static void save_search(Conductor &c)
436{

Callers

nothing calls this directly

Calls 4

addNewExecutionMethod · 0.80
db_initializeMethod · 0.45
db_createRootMethod · 0.45
db_addChildMethod · 0.45

Tested by

no test coverage detected