Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
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
363
void 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