MCPcopy 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
66void TreeBuilder::finishBuilding()
67{
68 perfHelper.end();
69 print("Builder: done building");
70 emit buildingDone();
71}
72
73void TreeBuilder::handleNode(const MessageWrapper& node)
74{

Callers

nothing calls this directly

Calls 2

printFunction · 0.50
endMethod · 0.45

Tested by

no test coverage detected