23 const std::multimap<irep_idt, irep_idt> &map,
25 const std::set<irep_idt> &values)
27 auto matching_values = map.equal_range(key);
28 std::set<irep_idt> matching_set;
29 for(
auto it = matching_values.first; it != matching_values.second; ++it)
30 matching_set.insert(it->second);
31 return matching_set == values;