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

Method setHighlighted

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

Source from the content-addressed store, hash-verified

69}
70
71void VisualFlags::setHighlighted(NodeID nid, bool val)
72{
73 ensure_id_exists(nid);
74
75 if (val)
76 {
77 highlighted_shapes_.insert(nid);
78 }
79 else
80 {
81 highlighted_shapes_.erase(nid);
82 }
83 shape_highlighted_[nid] = val;
84}
85
86bool VisualFlags::isHighlighted(NodeID nid) const
87{

Callers 2

toggleHighlightedMethod · 0.45
highlightSubtreesMethod · 0.45

Calls

no outgoing calls

Tested by

no test coverage detected