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

Method setHasOpenChildren

cp-profiler/src/cpprofiler/tree/node_info.cpp:80–83  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

78}
79
80void NodeInfo::setHasOpenChildren(NodeID nid, bool val)
81{
82 m_has_open_children[nid] = val;
83}
84
85bool NodeInfo::hasOpenChildren(NodeID nid) const
86{

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected