Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/MiniZinc/MiniZincIDE
/ name
Method
name
cp-profiler/src/cpprofiler/execution.cpp:13–13 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
11
{
12
13
std::string Execution::name() { return name_; }
14
15
Execution::Execution(const std::string &name, ExecID id, bool restarts)
16
: id_(id), name_{name}, tree_{new tree::NodeTree()},
Callers
1
ExecutionItem
Method · 0.45
Calls
no outgoing calls
Tested by
no test coverage detected