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;
symbolt create_void_function_symbol(const irep_idt &name, const codet &code)
bool multimap_key_matches(const std::multimap< irep_idt, irep_idt > &map, const irep_idt &key, const std::set< irep_idt > &values)
Data structure for representing an arbitrary statement in a program.
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
irep_idt name
The unique identifier.