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

Method getLayoutDone

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

Source from the content-addressed store, hash-verified

37}
38
39bool Layout::getLayoutDone(NodeID nid) const
40{
41 if (layout_done_.size() <= nid)
42 return false;
43 return layout_done_[nid];
44}
45
46void Layout::growDataStructures(int n_nodes)
47{

Callers 6

printNodeInfoMethod · 0.80
paintEventMethod · 0.80
findNodeClickedMethod · 0.80
mayMoveSidewardsMethod · 0.80
mayMoveDownwardsMethod · 0.80
mayMoveDownwardsMethod · 0.80

Calls 1

sizeMethod · 0.45

Tested by

no test coverage detected