MCPcopy Create free account
hub / github.com/MiniZinc/MiniZincIDE / TreeBuilder

Method TreeBuilder

cp-profiler/src/cpprofiler/tree_builder.cpp:54–58  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

52}
53
54TreeBuilder::TreeBuilder(Execution &ex) : m_execution(ex)
55{
56 std::cerr << " TreeBuilder()\n";
57 startBuilding();
58}
59
60void TreeBuilder::startBuilding()
61{

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected