Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
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
86
bool 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
96
void VisualFlags::unhighlightAll()
97
{
Callers
4
toggleHighlighted
Method · 0.80
processCurrentNode
Method · 0.80
mayMoveDownwards
Method · 0.80
processCurrentNode
Method · 0.80
Calls
1
size
Method · 0.45
Tested by
no test coverage detected