Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
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
30
void Execution::setNameMap(std::shared_ptr<const NameMap> nm)
31
{
32
name_map_ = nm;
33
tree_->setNameMap(nm);
34
}
35
36
bool Execution::doesRestarts() const { return m_is_restarts; }
37
Callers
1
handleStart
Method · 0.45
Calls
no outgoing calls
Tested by
no test coverage detected