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

Method getExecution

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

Source from the content-addressed store, hash-verified

325
326
327Execution* Conductor::getExecution(int exec_id)
328{
329 auto it = executions_.find(exec_id);
330 if (it == executions_.end()) {
331 return nullptr;
332 }
333 return &*it->second;
334}
335
336ExecutionWindow &Conductor::getExecutionWindow(Execution *e)
337{

Callers 1

anchorClickedMethod · 0.80

Calls 2

findMethod · 0.80
endMethod · 0.45

Tested by

no test coverage detected