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

Method removeNode

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

Source from the content-addressed store, hash-verified

349}
350
351void NodeTree::removeNode(NodeID nid)
352{
353
354 const auto pid = getParent(nid);
355 if (pid == NodeID::NoNode)
356 return;
357
358 const auto alt = getAlternative(nid);
359 /// should this really remove the node?
360 structure_->removeChild(pid, alt);
361}
362
363void NodeTree::db_initialize(int size)
364{

Callers 1

removeSelectedNodeMethod · 0.80

Calls 1

removeChildMethod · 0.45

Tested by

no test coverage detected