17 function.type = void_function_type;
18 function.mode = ID_java;
19 function.value = code;
24 const std::multimap<irep_idt, irep_idt> &map,
26 const std::set<irep_idt> &values)
28 auto matching_values = map.equal_range(key);
29 std::set<irep_idt> matching_set;
30 for(
auto it = matching_values.first; it != matching_values.second; ++it)
31 matching_set.insert(it->second);
32 return matching_set == values;