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

Method setLabel

cp-profiler/src/cpprofiler/tree/node_tree.cpp:346–349  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

344}
345
346void NodeTree::setLabel(NodeID nid, const Label &label)
347{
348 labels_[nid] = label;
349}
350
351void NodeTree::removeNode(NodeID nid)
352{

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected