- m -

• m_get() : qbf_bdd_coret , qbf_qube_coret , qbf_skizzo_coret , qbf_squolem_coret , qdimacs_coret
• main() : cprover_parse_optionst , goto_cc_modet , parse_options_baset
• main_function_resultt() : main_function_resultt
• main_function_rules() : cpp_declarator_convertert
• main_symbol() : cpp_languaget
• make() : ai_domain_factory_baset , ai_domain_factory_default_constructort< domainT > , ai_domain_factory_location_constructort< domainT > , dep_graph_domain_factoryt , invariant_set_domain_factoryt , rd_range_domain_factoryt , timestampert , value_expr_from_smt_factoryt , variable_sensitivity_dependence_domain_factoryt , variable_sensitivity_domain_factoryt
• make_all_false() : invariant_propagationt
• make_all_true() : invariant_propagationt
• make_already_typechecked() : already_typechecked_exprt , already_typechecked_typet
• make_array() : jsont
• make_array_pointer_association() : string_constraint_generatort
• make_assertion() : goto_programt
• make_assign_and_return_function_from_call() : java_string_library_preprocesst
• make_assign_function_from_call() : java_string_library_preprocesst
• make_assignment() : goto_programt
• make_assumption() : goto_programt
• make_atomic_begin() : goto_programt
• make_atomic_end() : goto_programt
• make_auto_object() : goto_symext
• make_bottom() : abstract_environmentt , ai_domain_baset , constant_propagator_domaint , custom_bitvector_domaint , dep_graph_domaint , escape_domaint , global_may_alias_domaint , interval_domaint , interval_templatet< T > , invariant_set_domaint , is_threaded_domaint , rd_range_domaint , uninitialized_domaint , value_set_domain_templatet< VST > , variable_sensitivity_dependence_domaint , variable_sensitivity_domaint
• make_catch() : goto_programt
• make_char_array_for_char_pointer() : array_poolt
• make_chordal() : grapht< N >
• make_class_identifier_code() : java_string_library_preprocesst
• make_compound_literal() : goto_convertt
• make_constant() : c_typecheck_baset
• make_constant_index() : c_typecheck_baset
• make_constructors() : cpp_typecheck_resolvet
• make_contains_expr() : interval_uniont
• make_copy_constructor_code() : java_string_library_preprocesst
• make_copy_string_code() : java_string_library_preprocesst
• make_dead() : goto_programt
• make_decl() : dump_ct , goto_programt
• make_decl_and_def() : string_abstractiont
• make_declaration() : cpp_itemt
• make_definition() : smt_is_dynamic_objectt , smt_object_sizet
• make_designator() : c_typecheck_baset
• make_ellipsis() : code_typet
• make_end_function() : goto_programt
• make_entry() : ai_domain_baset , dep_graph_domaint , invariant_set_domaint , is_threaded_domaint , value_set_domain_templatet< VST >
• make_expression() : interval_domaint , symex_target_equationt
• make_factory() : goto_harness_parse_optionst
• make_false() : invariant_sett , literalt
• make_float_to_string_code() : java_string_library_preprocesst
• make_fltmax() : ieee_floatt
• make_fltmin() : ieee_floatt
• make_from_table_index() : dstringt
• make_function_call() : goto_programt
• make_function_from_call() : java_string_library_preprocesst
• make_ge_than() : interval_templatet< T >
• make_goto() : goto_programt
• make_hidden() : goto_functiont
• make_id() : binary_overflow_exprt , overflow_result_exprt
• make_incomplete() : c_enum_typet , struct_union_typet
• make_incomplete_goto() : goto_programt
• make_index_type() : c_typecheck_baset
• make_init_function_from_call() : java_string_library_preprocesst
• make_intersection() : interval_uniont
• make_interval() : interval_abstract_valuet , interval_evaluator
• make_le_than() : interval_templatet< T >
• make_leaf() : sharing_nodet< keyT, valueT, equalT >
• make_less_than() : interval_templatet< T >
• make_less_than_eq() : interval_templatet< T >
• make_linkage_spec() : cpp_itemt
• make_location() : goto_programt
• make_minus_infinity() : ieee_floatt
• make_namespace_spec() : cpp_itemt
• make_NaN() : ieee_floatt
• make_nil() : irept , lispexprt
• make_node() : string_dependenciest
• make_nondet_string_expr() : java_string_library_preprocesst
• make_null_check_expr() : dfcc_utilst
• make_object() : jsont
• make_other() : goto_programt
• make_output_function() : smt_term_to_string_convertert
• make_overflow_loc() : acceleratet
• make_plus_infinity() : ieee_floatt
• make_pointer() : pointer_arithmetict
• make_ptr_typecast() : cpp_typecastt , cpp_typecheckt
• make_set_return_value() : goto_programt
• make_sizeof_expr() : dfcc_utilst
• make_skip() : goto_programt
• make_static_assert() : cpp_itemt
• make_string_length_code() : java_string_library_preprocesst
• make_string_returning_function_from_call() : java_string_library_preprocesst
• make_sub_scope() : Parser
• make_subtype() : Parser
• make_symbol() : acceleratet
• make_temp_symbol() : goto_convertt
• make_temporary_state() : ai_baset
• make_threaded() : invariant_sett
• make_throw() : goto_programt
• make_top() : abstract_environmentt , abstract_objectt , ai_domain_baset , constant_propagator_domaint , custom_bitvector_domaint , dep_graph_domaint , escape_domaint , global_may_alias_domaint , interval_domaint , invariant_set_domaint , is_threaded_domaint , rd_range_domaint , uncaught_exceptions_domaint , uninitialized_domaint , value_set_domain_templatet< VST > , variable_sensitivity_dependence_domaint , variable_sensitivity_domaint
• make_true() : invariant_sett , literalt
• make_type() : printf_formattert
• make_union() : interval_uniont , invariant_sett , ref_expr_sett , union_find< T, hasht > , union_find_replacet , unsigned_union_find , value_set_fit , value_sett
• make_union_bounds_map() : invariant_sett
• make_union_would_change() : value_sett
• make_using() : cpp_itemt
• make_val_or_dummy_rec() : string_abstractiont
• make_value_set() : value_set_abstract_objectt
• make_with_expr() : update_exprt
• make_zero() : bv_arithmetict , ieee_floatt
• mangle() : contracts_wranglert , function_name_manglert< MangleFun >
• mangled_method_name() : class_method_descriptor_exprt
• map() : ranget< iteratort >
• map_bit() : endianness_mapt
• map_find_or_top() : full_array_abstract_objectt
• map_function_parameters_to_function_argument_names() : function_call_harness_generatort::implt
• map_iteratort() : map_iteratort< iteratort, outputt >
• map_put() : full_array_abstract_objectt
• mark() : cover_goalst
• mark_created_symbols_as_input() : allocate_objectst , symbol_factoryt
• mark_index_set() : dense_integer_mapt< K, V, KeyToDenseInteger >
• match() : cpp_typecheck_fargst , invariant_failure_containingt , replacement_predicatet , smt2_parser_error_containingt
• match_missing_function_warning() : inlining_decoratort
• match_name_or_base_name() : symbol_table_baset
• match_named_check() : goto_check_ct
• match_no_body_warning() : inlining_decoratort
• match_not_enough_arguments_warning() : inlining_decoratort
• match_recursive_call_warning() : inlining_decoratort
• match_up() : memory_snapshot_harness_generatort::source_location_matcht
• matches() : levenshtein_automatont
• matcht() : cpp_typecheck_resolvet::matcht
• mathematical_function_typet() : mathematical_function_typet
• max() : constant_interval_exprt
• max_degree() : polynomialt
• max_exponent() : ieee_float_spect
• max_fraction() : ieee_float_spect
• max_malloc_size() : configt
• max_value() : bv_spect
• max_value_exprt() : max_value_exprt
• maximum() : interval_uniont
• maybe_testing_function() : string_builtin_functiont , string_creation_builtin_functiont , string_format_builtin_functiont , string_insertion_builtin_functiont , string_transformation_builtin_functiont
• maybeTemplateArgs() : Parser
• MaybeTypeNameOrClassTemplate() : Parser
• meet() : abstract_objectt , abstract_value_objectt , constant_propagator_domaint::valuest , data_dependency_contextt , interval_templatet< T > , write_location_contextt
• meet_with_value() : abstract_value_objectt , constant_abstract_valuet , interval_abstract_valuet , value_set_abstract_objectt
• member() : string_abstractiont
• member_designatort() : member_designatort
• member_exprt() : member_exprt
• member_initializers() : cpp_declaratort
• member_spec() : cpp_declarationt
• members() : c_enum_typet
• membert() : java_bytecode_parse_treet::membert
• memory_addresst() : gdb_apit::memory_addresst
• memory_analyzer_parse_optionst() : memory_analyzer_parse_optionst
• memory_barrier() : symex_target_equationt , symex_targett
• memory_cellt() : interpretert::memory_cellt
• memory_leak_check() : goto_check_ct
• memory_model() : value_set_dereferencet
• memory_model_baset() : memory_model_baset
• memory_model_bytes() : value_set_dereferencet
• memory_model_psot() : memory_model_psot
• memory_model_sct() : memory_model_sct
• memory_model_tsot() : memory_model_tsot
• memory_offset_to_byte_offset() : interpretert
• memory_scopet() : gdb_value_extractort::memory_scopet
• memory_sizet() : memory_sizet
• memory_snapshot_harness_generatort() : memory_snapshot_harness_generatort
• merge() : abstract_environmentt , abstract_objectt , abstract_value_objectt , ai_baset , ai_domain_factory_baset , ai_domain_factoryt< domainT > , constant_pointer_abstract_objectt , constant_propagator_domaint , constant_propagator_domaint::valuest , custom_bitvector_domaint , data_dependency_contextt , dep_graph_domaint , escape_domaint , full_array_abstract_objectt , full_struct_abstract_objectt , global_may_alias_domaint , interval_domaint , invariant_set_domaint , is_threaded_domaint , liveness_contextt , local_bitvector_analysist::flagst , local_bitvector_analysist , local_may_aliast::loc_infot , rd_range_domaint , source_locationt , uninitialized_domaint , value_set_domain_templatet< VST > , value_set_pointer_abstract_objectt , variable_sensitivity_dependence_domaint , variable_sensitivity_domaint , write_location_contextt
• merge_constant_pointers() : constant_pointer_abstract_objectt
• merge_constant_structs() : full_struct_abstract_objectt
• merge_control_dependencies() : variable_sensitivity_dependence_domaint
• merge_function_pointer_restrictions() : function_pointer_restrictionst
• merge_goto() : goto_symext , symex_bmct
• merge_gotos() : goto_symext
• merge_inner() : rd_range_domaint
• merge_ireps() : goto_trace_stept , symex_target_equationt
• merge_location_context() : abstract_objectt , full_array_abstract_objectt , full_struct_abstract_objectt , liveness_contextt
• merge_location_update_visitort() : merge_location_update_visitort
• merge_shared() : concurrency_aware_ait< domainT > , rd_range_domaint
• merge_shared_maps() : abstract_aggregate_objectt< aggregate_typet, aggregate_traitst >
• merge_symbol_table() : cpp_languaget
• merge_three_way_function_return() : variable_sensitivity_dependence_domaint , variable_sensitivity_domaint
• merge_type() : cpp_declaratort
• merge_types() : Parser
• merge_with_value() : abstract_value_objectt , constant_abstract_valuet , interval_abstract_valuet , value_set_abstract_objectt
• merged() : merge_full_irept , merge_irept , merged_irepst
• merged_irept() : merged_irept
• merged_typet() : merged_typet
• message() : smt_error_responset
• message_handlert() : message_handlert
• message_ostream() : smt2_tokenizert::smt2_errort , typecheckt::errort
• messaget() : messaget
• method_bodyt() : cpp_typecheckt::method_bodyt
• method_handle_infot() : method_handle_infot
• method_qualifier() : cpp_declaratort
• method_with_amapt() : java_bytecode_convert_methodt::method_with_amapt
• methods() : class_typet , java_class_typet
• methods_provided() : java_bytecode_languaget , languaget
• methodt() : java_bytecode_parse_treet::methodt , java_class_typet::methodt
• migrate() : sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
• min() : constant_interval_exprt
• min_value() : bv_spect
• min_value_exprt() : min_value_exprt
• mini_bdd_applyt() : mini_bdd_applyt
• mini_bdd_mgrt() : mini_bdd_mgrt
• mini_bdd_nodet() : mini_bdd_nodet
• mini_bddt() : mini_bddt
• mini_c_parsert() : mini_c_parsert
• minimise() : trace_automatont
• minimize() : bv_minimizing_dect , counterexample_beautificationt
• minimum() : interval_uniont
• minimum_promotion() : c_typecastt
• minus() : constant_interval_exprt
• minus_exprt() : minus_exprt
• minus_infinity() : ieee_floatt
• minus_overflow_exprt() : minus_overflow_exprt
• missing_outer_class_symbol_exceptiont() : missing_outer_class_symbol_exceptiont
• mk() : mini_bdd_mgrt
• mk_dynamic_heap() : local_bitvector_analysist::flagst
• mk_dynamic_local() : local_bitvector_analysist::flagst
• mk_integer_address() : local_bitvector_analysist::flagst
• mk_null() : local_bitvector_analysist::flagst
• mk_static_lifetime() : local_bitvector_analysist::flagst
• mk_uninitialized() : local_bitvector_analysist::flagst
• mk_unknown() : local_bitvector_analysist::flagst
• mk_uses_offset() : local_bitvector_analysist::flagst
• mm_io() : mm_iot
• mm_iot() : mm_iot
• mod_by_zero_check() : goto_check_ct
• mod_exprt() : mod_exprt
• mod_overflow_check() : goto_check_ct
• modified_symbols() : abstract_environmentt
• modifies() : invariant_sett
• modules_provided() : ansi_c_languaget , cpp_languaget , java_bytecode_languaget , languaget , statement_list_languaget
• modulo() : constant_interval_exprt
• moreVarName() : Parser
• most_recent_line_has_tag() : gdb_apit
• move() : automatont , journalling_symbol_tablet , ref_expr_sett , symbol_table_baset , symbol_table_buildert , symbol_tablet
• move_lhs_arithmetic() : string_abstractiont
• move_member_initializers() : cpp_typecheckt
• move_symbol() : c_typecheck_baset
• move_to_named_sub() : irept
• move_to_sub() : irept
• move_to_subtypes() : type_with_subtypest
• ms_cl_cmdlinet() : ms_cl_cmdlinet
• ms_cl_modet() : ms_cl_modet
• ms_cl_versiont() : ms_cl_versiont
• ms_link_cmdlinet() : ms_link_cmdlinet
• ms_link_modet() : ms_link_modet
• msc_asm_function_call() : remove_asmt
• mstreamt() : messaget::mstreamt
• mul() : float_bvt , float_utilst
• mult() : polynomialt
• mult_exprt() : mult_exprt
• mult_overflow_exprt() : mult_overflow_exprt
• multi_ary() : smt2_parsert
• multi_ary_exprt() : multi_ary_exprt
• multi_namespacet() : multi_namespacet
• multi_path_symex_checkert() : multi_path_symex_checkert
• multi_path_symex_only_checkert() : multi_path_symex_only_checkert
• multiplier() : bv_utilst
• multiplier_no_overflow() : bv_utilst
• multiply() : constant_interval_exprt
• must_check_assign() : instrument_spec_assignst
• must_check_lhs() : dfcc_cfg_infot
• must_skip() : dfcc_loop_infot
• must_track_dead() : instrument_spec_assignst
• must_track_decl() : instrument_spec_assignst
• must_track_decl_or_dead() : dfcc_cfg_infot , instrument_spec_assignst
• mutable_clone() : abstract_objectt , constant_abstract_valuet , constant_pointer_abstract_objectt , data_dependency_contextt , full_array_abstract_objectt , full_struct_abstract_objectt , interval_abstract_valuet , liveness_contextt , value_set_abstract_objectt , value_set_pointer_abstract_objectt , write_location_contextt
• mutable_lower_bound() : forward_list_as_mapt< keyt, mappedt >
• mutate() : depth_iterator_baset< depth_iterator_t > , depth_iteratort
• mutate_value() : sharing_nodet< keyT, valueT, equalT >
• mz_zip_archive_statet() : mz_zip_archive_statet
• mz_zip_archivet() : mz_zip_archivet