Note: alt is unnecessary here
| 104 | |
| 105 | /// Note: alt is unnecessary here |
| 106 | void NodeTree::db_addChild(NodeID nid, NodeID pid, int alt, NodeStatus status, Label label) |
| 107 | { |
| 108 | structure_->db_addChild(nid, pid, alt); |
| 109 | addEntry(nid); |
| 110 | |
| 111 | node_info_->setStatus(nid, status); |
| 112 | setLabel(nid, label); |
| 113 | |
| 114 | emit childrenStructureChanged(pid); |
| 115 | |
| 116 | auto cur_depth = utils::calculate_depth(*this, nid); |
| 117 | node_stats_.inform_depth(cur_depth); |
| 118 | |
| 119 | node_stats_.addNode(status); |
| 120 | |
| 121 | if (is_closing(status)) |
| 122 | closeNode(nid); |
| 123 | if (status == NodeStatus::SOLVED) |
| 124 | notifyAncestors(nid); |
| 125 | |
| 126 | emit structureUpdated(); |
| 127 | } |
| 128 | |
| 129 | void NodeTree::addExtraChild(NodeID pid) |
| 130 | { |
nothing calls this directly
no test coverage detected