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

Method onChildClosed

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

Source from the content-addressed store, hash-verified

308}
309
310void NodeTree::onChildClosed(NodeID nid)
311{
312
313 bool allClosed = true;
314
315 for (auto i = childrenCount(nid); i--;)
316 {
317 auto kid = getChild(nid, i);
318 if (isOpen(kid))
319 {
320 allClosed = false;
321 break;
322 }
323 }
324
325 if (allClosed)
326 {
327 closeNode(nid);
328
329 if (!hasSolvedChildren(nid))
330 {
331 emit failedSubtreeClosed(nid);
332 }
333 }
334}
335
336void NodeTree::closeNode(NodeID nid)
337{

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected