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

Method notifyAncestors

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

Source from the content-addressed store, hash-verified

258}
259
260void NodeTree::notifyAncestors(NodeID nid)
261{
262 while (nid != NodeID::NoNode)
263 {
264 node_info_->setHasSolvedChildren(nid, true);
265 nid = getParent(nid);
266 }
267}
268
269void NodeTree::setHasOpenChildren(NodeID nid, bool val)
270{

Callers

nothing calls this directly

Calls 1

setHasSolvedChildrenMethod · 0.80

Tested by

no test coverage detected