| 58 | } |
| 59 | |
| 60 | void NodeInfo::addEntry(NodeID nid) |
| 61 | { |
| 62 | utils::MutexLocker lock(&m_mutex, "node info"); |
| 63 | if (nid != m_flags.size()) |
| 64 | throw; |
| 65 | m_flags.push_back({}); |
| 66 | m_has_solved_children.push_back(false); |
| 67 | m_has_open_children.push_back(true); |
| 68 | } |
| 69 | |
| 70 | void NodeInfo::setHasSolvedChildren(NodeID nid, bool val) |
| 71 | { |