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

Method getNextExecId

cp-profiler/src/cpprofiler/conductor.cpp:195–203  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

193}
194
195int Conductor::getNextExecId() const
196{
197 int eid = getRandomExID();
198 while (executions_.find(eid) != executions_.end())
199 {
200 eid = getRandomExID();
201 }
202 return eid;
203}
204
205void Conductor::setMetaData(int exec_id, const std::string &group_name,
206 const std::string &exec_name,

Callers 1

Calls 3

getRandomExIDFunction · 0.85
findMethod · 0.80
endMethod · 0.45

Tested by

no test coverage detected