Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/MiniZinc/MiniZincIDE
/ addEntry
Method
addEntry
cp-profiler/src/cpprofiler/tree/node_tree.cpp:33–37 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
31
}
32
33
void NodeTree::addEntry(NodeID nid)
34
{
35
node_info_->addEntry(nid);
36
labels_.push_back({});
37
}
38
39
const NodeInfo &NodeTree::node_info() const
40
{
Callers
nothing calls this directly
Calls
no outgoing calls
Tested by
no test coverage detected