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

Function is_closing

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

Source from the content-addressed store, hash-verified

96}
97
98static bool is_closing(NodeStatus status)
99{
100 return (status == NodeStatus::FAILED) ||
101 (status == NodeStatus::SOLVED) ||
102 (status == NodeStatus::SKIPPED);
103}
104
105/// Note: alt is unnecessary here
106void NodeTree::db_addChild(NodeID nid, NodeID pid, int alt, NodeStatus status, Label label)

Callers 2

db_addChildMethod · 0.85
promoteNodeMethod · 0.85

Calls

no outgoing calls

Tested by

no test coverage detected