| 300 | } |
| 301 | |
| 302 | InfkernFinder::InputValueRecord::FullRecord InfkernFinder::get_input_values( |
| 303 | size_t opr_id) { |
| 304 | mgb_assert(m_global_state->record_input_value); |
| 305 | auto iter = m_global_state->oprid2ptr.find(opr_id); |
| 306 | mgb_assert( |
| 307 | iter != m_global_state->oprid2ptr.end(), "operator with ID %zu not found", |
| 308 | opr_id); |
| 309 | InputValueRecord::FullRecord rec; |
| 310 | for (auto i : iter->second->input()) { |
| 311 | auto iter = m_global_state->var_value.find(i); |
| 312 | if (iter != m_global_state->var_value.end()) { |
| 313 | rec.emplace_back(i, iter->second); |
| 314 | } else { |
| 315 | rec.push_back({i, {}}); |
| 316 | } |
| 317 | } |
| 318 | return rec; |
| 319 | } |
| 320 | |
| 321 | // vim: syntax=cpp.doxygen foldmethod=marker foldmarker=f{{{,f}}} |