Here is a list of all functions with links to the classes they belong to:

- m -

• M() : time_offset
• main() : parseoptions_baset
• main_id() : goto_functionst
• main_python_filename() : python_converter
• make() : native_value_maker< T, T >
• make_array_elementary_type() : solidity_convertert
• make_array_to_pointer_type() : solidity_convertert
• make_assertion() : goto_programt::instructiont
• make_assignment() : execution_statet::state_hashing_level2t, goto_programt::instructiont, renaming::level2t
• make_assumption() : goto_programt::instructiont
• make_atomic_begin() : goto_programt::instructiont
• make_atomic_end() : goto_programt::instructiont
• make_aux_var() : solidity_convertert
• make_bit_bool() : smt_solver_baset
• make_block() : codet
• make_bool() : exprt, PyConstValue
• make_bool_bit() : smt_solver_baset
• make_bottom() : ai_domain_baset, cse_domaint, interval_domaint
• make_catch() : goto_programt::instructiont
• make_char_array_expr() : python_converter
• make_char_constant() : string_builder
• make_class_object() : python_converter
• make_dead() : goto_programt::instructiont
• make_decl() : goto_programt::instructiont
• make_ellipsis() : code_typet
• make_entry() : ai_domain_baset, cse_domaint, interval_domaint
• make_expression() : interval_domaint
• make_expression_available() : cse_domaint
• make_expression_helper() : interval_domaint
• make_expression_value() : interval_domaint
• make_false() : exprt, guard2tc, literalt
• make_float() : PyConstValue
• make_fltmax() : ieee_floatt
• make_fltmin() : ieee_floatt
• make_free() : tuple_node_smt_ast
• make_from_table_index() : irep_idt
• make_function_call() : goto_programt::instructiont
• make_ge_than() : interval_templatet< T >, wrapped_interval
• make_goto() : goto_programt::instructiont
• make_implicit_cast_expr() : solidity_convertert
• make_int() : PyConstValue
• make_le_than() : interval_templatet< T >, wrapped_interval
• make_list() : PyConstValue
• make_location() : goto_programt::instructiont
• make_lower_interval() : interval_templatet< T >
• make_member() : value_sett
• make_minus_infinity() : ieee_floatt
• make_n_ary_and() : smt_solver_baset
• make_n_ary_or() : smt_solver_baset
• make_NaN() : ieee_floatt
• make_nil() : irept
• make_none() : PyConstValue
• make_not() : exprt
• make_null_terminator() : string_builder
• make_other() : goto_programt::instructiont
• make_plus_infinity() : ieee_floatt
• make_pointee_type() : solidity_convertert
• make_return() : goto_programt::instructiont
• make_return_assignment() : goto_symext
• make_return_type_from_typet() : solidity_convertert
• make_skip() : goto_programt::instructiont
• make_sound_le() : interval_templatet< T >
• make_string() : PyConstValue
• make_temp_symbol() : goto_convertt
• make_temporary() : clang_cpp_convertert
• make_temporary_state() : ai_baset, ait< domainT >, static_analysis_baset, static_analysist< T >
• make_throw() : goto_programt::instructiont
• make_top() : ai_domain_baset, cse_domaint, interval_domaint
• make_true() : exprt, guard2tc, literalt
• make_tuple() : PyConstValue
• make_type() : printf_formattert
• make_typecast() : exprt
• make_union() : union_find< T >, unsigned_union_find, value_sett
• make_zero() : ieee_floatt
• mark() : contextt
• mark_active_thread_explored() : reachability_treet
• mark_all_explored() : reachability_treet::scheduler_framet
• mark_decl_as_non_det() : mark_decl_as_non_det
• mark_explored() : reachability_treet::scheduler_framet
• mark_hydrated() : module
• mark_list_call_escaped() : python_converter
• mark_search_truncated() : reachability_treet
• mark_writer() : irep2t
• materialise_old_snapshot() : goto_symext
• materialize() : file_operations::filesystemt
• materialize_snapshots() : frame_enforcert
• materialize_tuple_key() : python_dict_handler
• mathsat_convt() : mathsat_convt
• mathsat_smt_ast() : mathsat_smt_ast
• max() : decimal.Decimal
• max_alignment() : configt::ansi_ct
• max_exponent() : ieee_float_spect
• max_fraction() : ieee_float_spect
• max_size() : array
• may_be_callable() : python_converter
• may_be_written() : reachability_treet
• may_point_to() : andersent
• mb_value() : string_constantt
• meet() : interval_templatet< T >
• member2t() : member2t
• member_destructor() : clang_cpp_convertert
• member_exprt() : member_exprt
• member_irep() : irept
• member_name() : irept
• member_ref2t() : member_ref2t
• member_ref_exprt() : member_ref_exprt
• memcmp_resolve_operand() : goto_symext
• memcpy_finish() : goto_symext
• memcpy_symbolic_length() : goto_symext
• memoize_pop_type() : element_type_registry
• memoized_pop_type() : element_type_registry
• merge() : ai_baset, ait< domainT >, cse_domaint, interval_domaint, static_analysis_baset, static_analysist< T >, value_set_domaint
• merge_gotos() : goto_symext
• merge_inheritance_ast() : solidity_convertert
• merge_interval_domain() : goto_symext
• merge_locality() : goto_symext
• merge_multi_files() : solidity_convertert
• merge_shared() : ai_baset
• merge_statet() : goto_symex_statet::merge_statet
• merge_summary() : goto_loopst
• merge_value_sets() : goto_symext
• method_call() : preprocessor.function_value_types._Analysis
• method_this() : clang_cpp_convertert
• methods() : python_class, struct_union_typet
• min() : decimal.Decimal
• minisat_convt() : minisat_convt
• minus_exprt() : minus_exprt
• minus_infinity() : ieee_floatt
• misses() : proof_cachet
• mixed_call() : preprocessor.function_value_types._Analysis
• mixes_list_and_other() : python_list
• mixes_str_and_number() : element_type_registry
• mk_add() : cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_and() : bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_array_sort() : bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_array_symbol() : array_convt, array_iface, bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, smtlib_convt, yices_convt, z3_convt
• mk_ast_equality() : bitblast_convt
• mk_bool_sort() : bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_bounded_array_equality() : array_convt
• mk_bv_sort() : bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_bvadd() : bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_bvand() : bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_bvashr() : bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_bvfp_rm_sort() : bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_bvfp_sort() : bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_bvlshr() : bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_bvmul() : bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_bvneg() : bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_bvnot() : bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_bvor() : bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_bvredand() : smt_solver_baset
• mk_bvredor() : smt_solver_baset
• mk_bvsdiv() : bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_bvsge() : bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_bvsgt() : bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_bvshl() : bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_bvsle() : bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_bvslt() : bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_bvsmod() : bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_bvsub() : bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_bvudiv() : bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_bvuge() : bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_bvugt() : bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_bvule() : bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_bvult() : bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_bvumod() : bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_bvxor() : bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_concat() : bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_div() : cvc5_convt, cvc_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_eq() : bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_extract() : bitblast_convt, bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_fbv_sort() : bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_fpbv_rm_sort() : bitwuzla_convt, cvc5_convt, cvc_convt, fp_convt, mathsat_convt, z3_convt
• mk_fpbv_sort() : bitwuzla_convt, cvc5_convt, cvc_convt, fp_convt, mathsat_convt, z3_convt
• mk_fresh() : smt_solver_baset
• mk_fresh_name() : smt_solver_baset
• mk_from_bv_to_fp() : bitwuzla_convt, cvc5_convt, cvc_convt, fp_convt, mathsat_convt, z3_convt
• mk_from_fp_to_bv() : bitwuzla_convt, cvc5_convt, cvc_convt, fp_convt, mathsat_convt, z3_convt
• mk_func_app() : bitblast_convt
• mk_ge() : cvc5_convt, cvc_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_gt() : cvc5_convt, cvc_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_implies() : bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_int2real() : cvc5_convt, cvc_convt, smt_solver_baset, smtlib_convt, z3_convt
• mk_int_bv_sort() : smt_solver_baset
• mk_int_sort() : cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_isint() : cvc5_convt, cvc_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_ite() : bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_le() : cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_lt() : cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_mod() : cvc5_convt, cvc_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_mul() : cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_neg() : cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_neq() : bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, smt_solver_baset, yices_convt, z3_convt
• mk_not() : bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_or() : bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_quantifier() : bitwuzla_convt, boolector_convt, cvc5_convt, smt_solver_baset, z3_convt
• mk_real2int() : cvc5_convt, cvc_convt, smt_solver_baset, smtlib_convt, z3_convt
• mk_real_fp_sort() : smt_solver_baset
• mk_real_sort() : cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_select() : array_convt, bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_shl() : cvc5_convt, cvc_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_sign_ext() : bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_smt_bool() : bitblast_convt, bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_smt_bv() : bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_smt_bvint() : bitblast_convt
• mk_smt_fpbv() : bitwuzla_convt, cvc5_convt, cvc_convt, fp_convt, mathsat_convt, z3_convt
• mk_smt_fpbv_abs() : bitwuzla_convt, cvc5_convt, cvc_convt, fp_convt, mathsat_convt, z3_convt
• mk_smt_fpbv_add() : bitwuzla_convt, cvc5_convt, cvc_convt, fp_convt, mathsat_convt, z3_convt
• mk_smt_fpbv_div() : bitwuzla_convt, cvc5_convt, cvc_convt, fp_convt, mathsat_convt, z3_convt
• mk_smt_fpbv_eq() : bitwuzla_convt, cvc5_convt, cvc_convt, fp_convt, mathsat_convt, z3_convt
• mk_smt_fpbv_fma() : bitwuzla_convt, cvc5_convt, cvc_convt, fp_convt, mathsat_convt, z3_convt
• mk_smt_fpbv_gt() : bitwuzla_convt, cvc5_convt, cvc_convt, fp_convt, z3_convt
• mk_smt_fpbv_gte() : bitwuzla_convt, cvc5_convt, cvc_convt, fp_convt, z3_convt
• mk_smt_fpbv_inf() : bitwuzla_convt, cvc5_convt, cvc_convt, fp_convt, mathsat_convt, z3_convt
• mk_smt_fpbv_is_inf() : bitwuzla_convt, cvc5_convt, cvc_convt, fp_convt, mathsat_convt, z3_convt
• mk_smt_fpbv_is_nan() : bitwuzla_convt, cvc5_convt, cvc_convt, fp_convt, mathsat_convt, z3_convt
• mk_smt_fpbv_is_negative() : bitwuzla_convt, cvc5_convt, cvc_convt, fp_convt, mathsat_convt, z3_convt
• mk_smt_fpbv_is_normal() : bitwuzla_convt, cvc5_convt, cvc_convt, fp_convt, mathsat_convt, z3_convt
• mk_smt_fpbv_is_positive() : bitwuzla_convt, cvc5_convt, cvc_convt, fp_convt, mathsat_convt, z3_convt
• mk_smt_fpbv_is_zero() : bitwuzla_convt, cvc5_convt, cvc_convt, fp_convt, mathsat_convt, z3_convt
• mk_smt_fpbv_lt() : bitwuzla_convt, cvc5_convt, cvc_convt, fp_convt, mathsat_convt, z3_convt
• mk_smt_fpbv_lte() : bitwuzla_convt, cvc5_convt, cvc_convt, fp_convt, mathsat_convt, z3_convt
• mk_smt_fpbv_mul() : bitwuzla_convt, cvc5_convt, cvc_convt, fp_convt, mathsat_convt, z3_convt
• mk_smt_fpbv_nan() : bitwuzla_convt, cvc5_convt, cvc_convt, fp_convt, mathsat_convt, z3_convt
• mk_smt_fpbv_neg() : bitwuzla_convt, cvc5_convt, cvc_convt, fp_convt, mathsat_convt, z3_convt
• mk_smt_fpbv_rem() : bitwuzla_convt, cvc5_convt, cvc_convt, fp_convt, mathsat_convt, z3_convt
• mk_smt_fpbv_rm() : bitwuzla_convt, cvc5_convt, cvc_convt, fp_convt, mathsat_convt, z3_convt
• mk_smt_fpbv_sqrt() : bitwuzla_convt, cvc5_convt, cvc_convt, fp_convt, mathsat_convt, z3_convt
• mk_smt_fpbv_sub() : bitwuzla_convt, cvc5_convt, cvc_convt, fp_convt, mathsat_convt, z3_convt
• mk_smt_int() : bitblast_convt, bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_smt_nearbyint_from_float() : bitwuzla_convt, cvc5_convt, cvc_convt, fp_convt, mathsat_convt, z3_convt
• mk_smt_real() : bitblast_convt, bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_smt_symbol() : bitblast_convt, bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_smt_typecast_from_fpbv_to_fpbv() : bitwuzla_convt, cvc5_convt, cvc_convt, fp_convt, mathsat_convt, z3_convt
• mk_smt_typecast_from_fpbv_to_sbv() : bitwuzla_convt, cvc5_convt, cvc_convt, fp_convt, mathsat_convt, z3_convt
• mk_smt_typecast_from_fpbv_to_ubv() : bitwuzla_convt, cvc5_convt, cvc_convt, fp_convt, mathsat_convt, z3_convt
• mk_smt_typecast_sbv_to_fpbv() : bitwuzla_convt, cvc5_convt, cvc_convt, fp_convt, mathsat_convt, z3_convt
• mk_smt_typecast_ubv_to_fpbv() : bitwuzla_convt, cvc5_convt, cvc_convt, fp_convt, mathsat_convt, z3_convt
• mk_smt_uninterpreted_function() : bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_sort() : bitblast_convt
• mk_store() : array_convt, bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_struct_sort() : bitblast_convt, smt_tuple_node_flattener, smt_tuple_sym_flattener, smtlib_convt, tuple_iface, yices_convt, z3_convt
• mk_sub() : cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_subnormal_flush() : smt_solver_baset
• mk_truncated_div() : smt_solver_baset
• mk_truncated_rem() : smt_solver_baset
• mk_tuple_array_symbol() : smt_tuple_node_flattener, smt_tuple_sym_flattener, tuple_iface, yices_convt, z3_convt
• mk_tuple_select() : z3_convt
• mk_tuple_symbol() : smt_tuple_node_flattener, smt_tuple_sym_flattener, tuple_iface, yices_convt, z3_convt
• mk_tuple_update() : z3_convt
• mk_unbounded_select() : array_convt
• mk_unbounded_store() : array_convt
• mk_xor() : bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mk_zero_ext() : bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• mod_exprt() : mod_exprt
• mode() : irept
• model_allocation_failure() : goto_symext
• model_transaction() : solidity_convertert
• modularize_intervals() : interval_analysis_ibex_contractor
• module() : irept, module
• module_locator() : module_locator
• module_path() : module_locator
• module_scope_bindings() : python_converter
• most_common() : collections.Counter
• most_significant_bit() : wrapped_interval
• move() : contextt, std::char_traits< charT >
• move_builtin_to_contract() : solidity_convertert
• move_inheritance_to_ctor() : solidity_convertert
• move_initializer_to_ctor() : solidity_convertert
• move_initializer_to_main() : solidity_convertert
• move_symbol_to_context() : contextt, solidity_convertert
• move_to_back_block() : solidity_convertert
• move_to_front_block() : solidity_convertert
• move_to_initializer() : solidity_convertert
• move_to_named_sub() : irept
• move_to_operands() : exprt
• move_to_sub() : irept
• move_to_subtypes() : typet
• mul() : exprt
• mult_exprt() : mult_exprt
• multi_contract_verification_bound() : solidity_convertert
• multi_contract_verification_unbound() : solidity_convertert
• multi_line_strings_allowed() : formatter
• multi_property_check() : bmct
• multi_transaction_verification() : solidity_convertert
• multiply_us() : wrapped_interval