Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/MiniZinc/MiniZincIDE
/ addExecution
Method
addExecution
cp-profiler/src/cpprofiler/execution_list.cpp:29–32 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
27
}
28
29
void ExecutionList::addExecution(Execution &e)
30
{
31
m_execution_tree_model.appendRow(new ExecutionItem{e});
32
}
33
34
std::vector<Execution *> ExecutionList::getSelected()
35
{
Callers
1
addNewExecution
Method · 0.80
Calls
no outgoing calls
Tested by
no test coverage detected