- m -

• make_applicationt : smt_is_dynamic_objectt , smt_object_sizet
• map_function_nodest : instrumentert
• map_keyt : abstract_environmentt
• map_typet : dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue >
• mapped_type : fixed_keys_map_wrappert< mapt > , irep_hash_mapt< Key, T > , lazy_goto_functions_mapt , sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
• mappingt : boolbv_mapt
• mapt : c_definest , inv_object_storet , irep_hash_mapt< Key, T > , method_bytecodet
• memberst : c_enum_typet
• memory_addresst : gdb_value_extractort
• memory_mapt : interpretert
• memoryt : interpretert
• merged_irep_storet : merged_irepst
• method_bodiest : cpp_typecheckt
• method_handle_typet : java_bytecode_parsert
• method_offsett : java_bytecode_convert_methodt
• method_with_amapt : procedure_local_cfg_baset< T, java_bytecode_convert_methodt::method_with_amapt, java_bytecode_convert_methodt::method_offsett >
• methodst : class_typet , java_bytecode_parse_treet::classt , java_class_typet
• methodt : class_typet , java_bytecode_convert_classt , java_bytecode_convert_methodt , java_bytecode_parsert
• model_bddst : qbf_bdd_certificatet
• modet : ansi_c_parsert
• module_mapt : language_filest
• modulest : language_filet
• mp_vectort : interpretert
• mutator_functiont : renamedt< underlyingt, level >