| 118 | } |
| 119 | |
| 120 | void ExecutionResult::deserialize(std::vector<std::size_t> &data) { |
| 121 | std::size_t stride = 0; |
| 122 | while (stride < data.size()) { |
| 123 | std::string name = extractNameFromData(data, stride); |
| 124 | |
| 125 | std::unordered_map<std::string, std::size_t> localCounts; |
| 126 | deserializeCounts(data, stride, localCounts); |
| 127 | |
| 128 | for (const auto &entry : localCounts) { |
| 129 | counts.insert({entry.first, entry.second}); |
| 130 | } |
| 131 | } |
| 132 | } |
| 133 | |
| 134 | //===----------------------------------------------------------------------===// |
| 135 | |