Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/MiniZinc/MiniZincIDE
/ setHasSolvedChildren
Method
setHasSolvedChildren
cp-profiler/src/cpprofiler/tree/node_info.cpp:70–73 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
68
}
69
70
void NodeInfo::setHasSolvedChildren(NodeID nid, bool val)
71
{
72
m_has_solved_children[nid] = val;
73
}
74
75
bool NodeInfo::hasSolvedChildren(NodeID nid) const
76
{
Callers
1
notifyAncestors
Method · 0.80
Calls
no outgoing calls
Tested by
no test coverage detected