Here is a list of all variables with links to the classes they belong to:
- m -
- m : d_internalt< keyT, valueT, equalT >, sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::delta_view_itemt, small_mapt< T, Ind, Num >::const_iterator, small_mapt< T, Ind, Num >::const_value_iterator
- m_archive_size : mz_zip_archive
- m_archives : jar_poolt
- m_bit_buf : tinfl_decompressor_tag
- m_bit_flag : mz_zip_archive_file_stat
- m_capacity : mz_zip_array
- m_central_dir : mz_zip_internal_state_tag
- m_central_dir_offsets : mz_zip_internal_state_tag
- m_central_dir_ofs : mz_zip_archive_file_stat
- m_central_directory_file_ofs : mz_zip_archive
- m_check_adler32 : tinfl_decompressor_tag
- m_code_size_0 : tinfl_decompressor_tag
- m_code_size_1 : tinfl_decompressor_tag
- m_code_size_2 : tinfl_decompressor_tag
- m_comment : mz_zip_archive_file_stat
- m_comment_size : mz_zip_archive_file_stat
- m_comp_size : mz_zip_archive_file_stat
- m_counter : tinfl_decompressor_tag
- m_crc32 : mz_zip_archive_file_stat
- m_dist : tinfl_decompressor_tag
- m_dist_from_out_buf_start : tinfl_decompressor_tag
- m_dummy1 : mz_dummy_time_t_tag
- m_dummy2 : mz_dummy_time_t_tag
- m_element_size : mz_zip_array
- m_external_attr : mz_zip_archive_file_stat
- m_file_archive_start_ofs : mz_zip_internal_state_tag
- m_file_index : mz_zip_archive_file_stat
- m_file_offset_alignment : mz_zip_archive
- m_filename : mz_zip_archive_file_stat
- m_final : tinfl_decompressor_tag
- m_init_flags : mz_zip_internal_state_tag
- m_internal_attr : mz_zip_archive_file_stat
- m_is_directory : mz_zip_archive_file_stat
- m_is_encrypted : mz_zip_archive_file_stat
- m_is_supported : mz_zip_archive_file_stat
- m_last_error : mz_zip_archive
- m_len_codes : tinfl_decompressor_tag
- m_local_header_ofs : mz_zip_archive_file_stat
- m_look_up : tinfl_decompressor_tag
- m_mem_capacity : mz_zip_internal_state_tag
- m_mem_size : mz_zip_internal_state_tag
- m_method : mz_zip_archive_file_stat
- m_name_to_index : jar_filet
- m_num_bits : tinfl_decompressor_tag
- m_num_extra : tinfl_decompressor_tag
- m_p : mz_zip_array
- m_padding : mz_zip_archive_file_stat
- m_pAlloc : mz_zip_archive
- m_pAlloc_opaque : mz_zip_archive
- m_pFile : mz_zip_internal_state_tag
- m_pFree : mz_zip_archive
- m_pIO_opaque : mz_zip_archive
- m_pMem : mz_zip_internal_state_tag
- m_pNeeds_keepalive : mz_zip_archive
- m_pRead : mz_zip_archive
- m_pRealloc : mz_zip_archive
- m_pState : mz_zip_archive
- m_pWrite : mz_zip_archive
- m_raw_header : tinfl_decompressor_tag
- m_size : mz_zip_array
- m_sorted_central_dir_offsets : mz_zip_internal_state_tag
- m_stack : depth_iterator_baset< depth_iterator_t >
- m_state : mz_zip_archivet, tinfl_decompressor_tag
- m_table_sizes : tinfl_decompressor_tag
- m_total_files : mz_zip_archive
- m_traversed : const_unique_depth_iteratort
- m_tree_0 : tinfl_decompressor_tag
- m_tree_1 : tinfl_decompressor_tag
- m_tree_2 : tinfl_decompressor_tag
- m_type : tinfl_decompressor_tag
- m_uncomp_size : mz_zip_archive_file_stat
- m_version_made_by : mz_zip_archive_file_stat
- m_version_needed : mz_zip_archive_file_stat
- m_z_adler32 : tinfl_decompressor_tag
- m_zhdr0 : tinfl_decompressor_tag
- m_zhdr1 : tinfl_decompressor_tag
- m_zip64 : mz_zip_internal_state_tag
- m_zip64_has_extended_info_fields : mz_zip_internal_state_tag
- m_zip_archive : jar_filet
- m_zip_mode : mz_zip_archive
- m_zip_type : mz_zip_archive
- magenta : messaget
- magic : fat_header_prefixt
- main : configt
- main_class : ci_lazy_methodst, configt::javat, java_bytecode_languaget
- main_function : main_function_resultt
- main_jar : java_bytecode_language_optionst
- main_jar_classes : ci_lazy_methodst, java_bytecode_languaget
- main_symbol_table : linkingt
- make_and : smt_bit_vector_theoryt, smt_core_theoryt
- make_application : smt_is_dynamic_objectt, smt_object_sizet
- make_assertion : cover_configt
- make_not : smt_bit_vector_theoryt, smt_core_theoryt
- make_or : smt_bit_vector_theoryt, smt_core_theoryt
- make_xor : smt_bit_vector_theoryt, smt_core_theoryt
- malloc_failure_mode : configt::ansi_ct
- malloc_free_fixed : dfcc_libraryt
- malloc_may_fail : configt::ansi_ct
- malloc_name : gdb_apit
- manager : guard_bddt
- mangle_fun : function_name_manglert< MangleFun >
- map : abstract_environmentt, boolbvt, c_definest, cpp_saved_template_mapt, dense_integer_mapt< K, V, KeyToDenseInteger >, endianness_mapt, fixed_keys_map_wrappert< mapt >, full_array_abstract_objectt, full_struct_abstract_objectt, generic_parameter_specialization_mapt::printert, inv_object_storet, irep_hash_mapt< Key, T >, lazy_class_to_declared_symbols_mapt, method_bytecodet, sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >, union_find_replacet
- map_data_dp : event_grapht
- map_function_graph : instrumentert
- map_memory_usage : string_container_statisticst
- map_reads : instrumentert::cfg_visitort
- map_vertex_gnode : instrumentert
- map_writes : instrumentert::cfg_visitort
- mapping : boolbv_mapt
- mark : event_grapht::graph_explorert
- marked_stack : event_grapht::graph_explorert
- mask : sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
- MASK : small_mapt< T, Ind, Num >
- match_found : memory_snapshot_harness_generatort::source_location_matcht
- matrix : qbf_bdd_coret
- max : __CPROVER_jsa_abstract_range
- max_argc : configt::ansi_ct
- max_array_length : java_bytecode_convert_classt, java_bytecode_convert_methodt
- max_assigns_clause_size : dfcc_instrument_loopt, dfcct
- max_col : instrument_spec_assignst::location_intervalt
- max_complexity : complexity_limitert
- max_depth : symex_configt
- max_depth_var_name : recursive_initializationt
- max_dfs : grapht< N >::tarjant
- max_dynamic_array_size : recursive_initialization_configt
- max_elems : __CPROVER_contracts_car_set_t, __CPROVER_contracts_obj_set_t
- max_errors : Parser
- max_field_sensitivity_array_size : field_sensitivityt, symex_configt
- max_histories_per_location : local_control_flow_history_factoryt, local_control_flow_historyt< track_forward_jumps, track_backward_jumps >
- max_line : instrument_spec_assignst::location_intervalt
- max_loops_complexity : complexity_limitert
- max_node_refinement : bv_refinementt::configt
- max_nondet_array_length : object_factory_parameterst
- max_nondet_string_length : object_factory_parameterst
- max_nondet_tree_depth : object_factory_parameterst, recursive_initialization_configt
- max_po_trans : event_grapht::graph_explorert, event_grapht
- max_ssa_set_size : solver_hardnesst
- max_string_length : string_constraint_generatort::parseint_argumentst
- max_thread : instrumentert::cfg_visitort, shared_bufferst::cfg_visitort
- max_user_array_length : java_bytecode_language_optionst, object_creation_infot
- max_value_set_size : value_set_abstract_objectt, value_set_pointer_abstract_objectt
- max_var : event_grapht::graph_explorert, event_grapht
- maximize : pbs_dimacs_cnft
- maximum_array_index : vsd_configt
- may_bits : custom_bitvector_domaint, custom_bitvector_domaint::vectorst
- mem_tmp : shared_bufferst::varst
- member_input : sort_based_literal_convertert
- members : boolbv_widtht::defined_entryt
- memmap_name : is_fresh_baset
- memmap_symbol : is_fresh_baset
- memory : interpretert
- memory_map : gdb_value_extractort, interpretert
- memory_operand_size : configt::ansi_ct
- memory_predicates : dfcc_contract_handlert, dfcc_wrapper_programt, dfcct
- memory_snapshot_file : memory_snapshot_harness_generatort
- merge_irep : symex_target_equationt
- merge_ireps : goto_trace_storaget
- merged_irep_store : merged_irepst
- message : event_grapht, havoc_generate_function_bodiest, instrumentert, memory_analyzer_parse_optionst, messaget::mstreamt, no_unique_unimplemented_method_exceptiont, require_goto_statements::no_decl_found_exceptiont, shared_bufferst, smt2_tokenizert::smt2_errort, taint_parse_treet::rulet, typecheckt::errort
- message_count : message_handlert
- message_handler : acceleratet, acceleration_utilst, aggressive_slicert, ai_baset, ansi_c_convert_typet, api_session_implementationt, armcc_modet, arrayst, as_modet, bv_refinementt::infot, contracts_wranglert, cw_modet, dep_graph_domain_factoryt, dep_graph_domaint, dfcc_contract_clauses_codegent, dfcc_contract_functionst, dfcc_contract_handlert, dfcc_instrumentt, dfcc_is_freeablet, dfcc_is_fresht, dfcc_libraryt, dfcc_obeys_contractt, dfcc_pointer_equalst, dfcc_pointer_in_ranget, dfcc_spec_functionst, dfcc_swap_and_wrapt, dfcc_wrapper_programt, dfcct, disjunctive_polynomial_accelerationt, function_call_harness_generatort::implt, functions_in_scope_visitort, goto_cc_modet, goto_difft, is_fresh_baset, java_bytecode_instrumentt, java_simple_method_stubst, lazy_goto_functions_mapt, lazy_goto_modelt, linking_diagnosticst, linkingt, memory_snapshot_harness_generatort, messaget, ms_cl_modet, ms_link_modet, Parser, polynomial_acceleratort, preconditiont, rd_range_domain_factoryt, rd_range_domaint, remove_asmt, remove_exceptionst, remove_function_pointerst, remove_instanceoft, rw_range_sett, rw_set_baset, sat_path_enumeratort, smt2_dect, solver_factoryt, string_abstractiont, string_constraint_generatort, ui_message_handlert, value_set_dereferencet
- message_level : messaget::mstreamt
- messages : smt2_parser_test_resultt
- method : method_bytecodet::class_method_and_bytecodet
- method_bodies : cpp_typecheckt
- method_bytecode : java_bytecode_convert_classt, java_bytecode_languaget
- method_context : java_bytecode_language_optionst, jbmc_parse_optionst
- method_descriptor : java_bytecode_parse_treet::classt::lambda_method_handlet
- method_has_this : java_bytecode_convert_methodt
- method_id : java_bytecode_convert_methodt, method_bytecodet::class_method_and_bytecodet
- method_return_type : java_bytecode_convert_methodt
- method_symbol : cpp_typecheckt::method_bodyt
- method_with_amap : java_bytecode_convert_methodt::method_with_amapt
- methods : java_bytecode_parse_treet::classt
- methods_seen : cpp_typecheckt
- mgr : mini_bdd_nodet
- min : __CPROVER_jsa_abstract_range
- min_col : instrument_spec_assignst::location_intervalt
- min_depth_var_name : recursive_initializationt
- min_dynamic_array_size : recursive_initialization_configt
- min_line : instrument_spec_assignst::location_intervalt
- min_nondet_string_length : object_factory_parameterst
- min_null_tree_depth : object_factory_parameterst, recursive_initialization_configt
- min_width : format_spect
- minisat_proof : satcheck_minisat1_prooft
- missing_function_regex : inlining_decoratort
- missing_function_set : inlining_decoratort
- mm_io_r : mm_iot
- mm_io_r_value : mm_iot
- mm_io_w : mm_iot
- mnemonic : bytecode_infot
- mode : ansi_c_parsert, build_declaration_hops_inputst, c_typecheck_baset, compilet, configt::ansi_ct, cover_configt, cpp_parsert, dump_ct, goto_check_ct, havoc_assigns_targetst, instrument_spec_assignst, language_entryt, recursive_initialization_configt, symbolt
- model : api_session_implementationt, cprover_library_entryt, function_name_manglert< MangleFun >
- model_bdds : qbf_bdd_certificatet
- modified : abstract_objectt::combine_result, disjunctive_polynomial_accelerationt, sat_path_enumeratort
- modified_functions : goto_difft
- module_map : language_filest
- modules : language_filet
- monomials : polynomialt
- msc_based : ansi_c_convert_typet
- mstream : messaget
- multi_under : file_name_manglert
- multiply : smt_bit_vector_theoryt
- must_bits : custom_bitvector_domaint, custom_bitvector_domaint::vectorst
- mutate_root : depth_iteratort
1.9.8 
