Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/MiniZinc/MiniZincIDE
/ nodeCount
Method
nodeCount
cp-profiler/src/cpprofiler/tree/structure.cpp:138–141 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
136
}
137
138
int Structure::nodeCount() const
139
{
140
return nodes_.size();
141
}
142
143
void Structure::db_initialize(int size)
144
{
Callers
10
testCPProfiler
Method · 0.45
toggleLanternView
Method · 0.45
any_order
Function · 0.45
post_order
Function · 0.45
calc_subtree_sizes
Function · 0.45
initOrigLocations
Method · 0.45
runIdenticalSubtrees
Function · 0.45
constructPixelTree
Method · 0.45
hideFailedAt
Method · 0.45
compute
Method · 0.45
Calls
1
size
Method · 0.45
Tested by
1
testCPProfiler
Method · 0.36