Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/MiniZinc/MiniZincIDE
/ hiddenCount
Method
hiddenCount
cp-profiler/src/cpprofiler/tree/visual_flags.cpp:66–69 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
64
}
65
66
int VisualFlags::hiddenCount()
67
{
68
return hidden_nodes_.size();
69
}
70
71
void VisualFlags::setHighlighted(NodeID nid, bool val)
72
{
Callers
1
unhideAll
Method · 0.80
Calls
1
size
Method · 0.45
Tested by
no test coverage detected