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

Method resetLanternSizes

cp-profiler/src/cpprofiler/tree/visual_flags.cpp:106–109  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

104}
105
106void VisualFlags::resetLanternSizes()
107{
108 lantern_sizes_.clear();
109}
110
111void VisualFlags::setLanternSize(NodeID nid, int val)
112{

Callers 2

hideBySizeMethod · 0.80
undoLanternsMethod · 0.80

Calls 1

clearMethod · 0.45

Tested by

no test coverage detected