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

Method db_initialize

cp-profiler/src/cpprofiler/tree/node_tree.cpp:363–366  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

361}
362
363void NodeTree::db_initialize(int size)
364{
365 structure_->db_initialize(size);
366}
367
368} // namespace tree
369} // namespace cpprofiler

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected