MCPcopy 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_executionFunction · 0.80
onExecutionDoneMethod · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected