Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/MiniZinc/MiniZincIDE
/ finishBuilding
Method
finishBuilding
cp-profiler/src/cpprofiler/tree_builder.cpp:66–71 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
64
}
65
66
void TreeBuilder::finishBuilding()
67
{
68
perfHelper.end();
69
print(
"Builder: done building"
);
70
emit buildingDone();
71
}
72
73
void TreeBuilder::handleNode(const MessageWrapper& node)
74
{
Callers
nothing calls this directly
Calls
2
print
Function · 0.50
end
Method · 0.45
Tested by
no test coverage detected