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

Method setNameMap

cp-profiler/src/cpprofiler/execution.cpp:30–34  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

28}
29
30void Execution::setNameMap(std::shared_ptr<const NameMap> nm)
31{
32 name_map_ = nm;
33 tree_->setNameMap(nm);
34}
35
36bool Execution::doesRestarts() const { return m_is_restarts; }
37

Callers 1

handleStartMethod · 0.45

Calls

no outgoing calls

Tested by

no test coverage detected