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

Method growDataStructures

cp-profiler/src/cpprofiler/tree/layout.cpp:46–57  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

44}
45
46void Layout::growDataStructures(int n_nodes)
47{
48
49 if (n_nodes > shapes_.size())
50 {
51 child_offsets_.resize(n_nodes, 0);
52 shapes_.resize(n_nodes);
53 layout_done_.resize(n_nodes, false);
54 /// nodes start as dirty
55 dirty_.resize(n_nodes, true);
56 }
57}
58
59} // namespace tree
60} // namespace cpprofiler

Callers 1

computeMethod · 0.80

Calls 2

sizeMethod · 0.45
resizeMethod · 0.45

Tested by

no test coverage detected