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

Method isHighlighted

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

Source from the content-addressed store, hash-verified

84}
85
86bool VisualFlags::isHighlighted(NodeID nid) const
87{
88
89 if (shape_highlighted_.size() <= nid)
90 {
91 return false;
92 }
93 return shape_highlighted_[nid];
94}
95
96void VisualFlags::unhighlightAll()
97{

Callers 4

toggleHighlightedMethod · 0.80
processCurrentNodeMethod · 0.80
mayMoveDownwardsMethod · 0.80
processCurrentNodeMethod · 0.80

Calls 1

sizeMethod · 0.45

Tested by

no test coverage detected