| 662 | } |
| 663 | |
| 664 | [[maybe_unused]] |
| 665 | void insertNodeID(UInt64 id) |
| 666 | { |
| 667 | matched_idx_set.emplace(id); |
| 668 | |
| 669 | UInt64 topological_order = topology_order.at(id); |
| 670 | matched_idx_sorted_list.push_back(std::make_pair(topological_order, id)); |
| 671 | } |
| 672 | |
| 673 | /// Sort by topological order, which indicates the matching priorities. |
| 674 | void sort() |