| 96 | } |
| 97 | |
| 98 | static 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 |
| 106 | void NodeTree::db_addChild(NodeID nid, NodeID pid, int alt, NodeStatus status, Label label) |
no outgoing calls
no test coverage detected