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

Method isOpen

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

Source from the content-addressed store, hash-verified

302}
303
304bool NodeTree::isOpen(NodeID nid) const
305{
306 return ((getStatus(nid) == NodeStatus::UNDETERMINED) ||
307 hasOpenChildren(nid));
308}
309
310void NodeTree::onChildClosed(NodeID nid)
311{

Callers

nothing calls this directly

Calls 1

getStatusFunction · 0.85

Tested by

no test coverage detected