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

Method closeNode

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

Source from the content-addressed store, hash-verified

334}
335
336void NodeTree::closeNode(NodeID nid)
337{
338 setHasOpenChildren(nid, false);
339 auto pid = getParent(nid);
340 if (pid != NodeID::NoNode)
341 {
342 onChildClosed(pid);
343 }
344}
345
346void NodeTree::setLabel(NodeID nid, const Label &label)
347{

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected