Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/MiniZinc/MiniZincIDE
/ setDone
Method
setDone
cp-profiler/src/cpprofiler/tree/node_tree.hh:80–80 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
78
void setNameMap(std::shared_ptr<const NameMap> nm);
79
80
void setDone() { is_done_ = true; }
81
82
bool isDone() const { return is_done_; }
83
Callers
2
load_execution
Function · 0.80
onExecutionDone
Method · 0.80
Calls
no outgoing calls
Tested by
no test coverage detected