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

Method unhighlightAll

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

Source from the content-addressed store, hash-verified

94}
95
96void VisualFlags::unhighlightAll()
97{
98 for (auto nid : highlighted_shapes_)
99 {
100 shape_highlighted_[nid] = false;
101 }
102
103 highlighted_shapes_.clear();
104}
105
106void VisualFlags::resetLanternSizes()
107{

Callers 1

highlightSubtreesMethod · 0.80

Calls 1

clearMethod · 0.45

Tested by

no test coverage detected