- b -

• back() : designatort , event_grapht::critical_cyclet
• backtrack() : all_paths_enumeratort , event_grapht::graph_explorert
• backward_inwards_walk_from() : reachability_slicert
• backward_outwards_walk_from() : reachability_slicert
• bad_cast_exceptiont() : bad_cast_exceptiont
• base() : element_address_exprt , field_address_exprt , power_exprt
• base10_digits() : ieee_floatt
• base_address_to_actual_size() : interpretert
• base_address_to_alloc_size() : interpretert
• base_case_fail() : inductiveness_resultt
• base_method_name() : class_method_descriptor_exprt
• base_ref_infot() : base_ref_infot
• base_type() : pointer_typet
• bases() : struct_typet
• baset() : struct_typet::baset
• bcc_cmdlinet() : bcc_cmdlinet
• bdd_and() : bddt
• bdd_false() : bdd_managert
• bdd_ite() : bddt
• bdd_managert() : bdd_managert
• bdd_node() : bdd_managert
• bdd_nodet() : bdd_nodet
• bdd_not() : bddt
• bdd_or() : bddt
• bdd_true() : bdd_managert
• bdd_variable() : bdd_managert
• bdd_xor() : bddt
• bddt() : bddt
• before() : memory_model_sct , memory_model_tsot , partial_order_concurrencyt
• begin() : abstract_object_sett , cfg_baset< T, P, I >::entry_mapt , cmdlinet::option_namest , dense_integer_mapt< K, V, KeyToDenseInteger > , dstringt , event_grapht::critical_cyclet , expanding_vectort< T > , fixed_keys_map_wrappert< mapt > , guarded_range_domaint , index_ranget , irep_hash_mapt< Key, T > , journalling_symbol_tablet , json_arrayt , json_objectt , loop_templatet< T, C > , method_bytecodet , numberingt< keyt, hasht > , range_domaint , ranget< iteratort > , small_mapt< T, Ind, Num > , sparse_vectort< T > , symbol_table_baset , symbol_table_buildert , symbol_tablet , union_find< T, hasht > , value_ranget , value_set_fit::object_map_dt
• bias() : float_bvt , float_utilst , ieee_float_spect
• binary() : smt2_parsert
• binary_exprt() : binary_exprt
• binary_functional_enumeratort() : binary_functional_enumeratort
• binary_overflow_exprt() : binary_overflow_exprt
• binary_predicate() : smt2_parsert
• binary_predicate_exprt() : binary_predicate_exprt
• binary_relation_exprt() : binary_relation_exprt
• binding() : let_exprt , smt2_parsert
• binding_exprt() : binding_exprt
• binding_variables() : smt2_parsert::signature_with_parameter_idst
• bit_cast_exprt() : bit_cast_exprt
• bit_width() : smt_bit_vector_sortt
• bitand_exprt() : bitand_exprt
• bitnot_exprt() : bitnot_exprt
• bitor_exprt() : bitor_exprt
• bitreverse_exprt() : bitreverse_exprt
• bitvector_typet() : bitvector_typet
• bitwise_and() : constant_interval_exprt
• bitwise_not() : constant_interval_exprt
• bitwise_or() : constant_interval_exprt
• bitwise_xor() : constant_interval_exprt
• bitxnor_exprt() : bitxnor_exprt
• bitxor_exprt() : bitxor_exprt
• block() : code_function_bodyt
• block_of() : cover_basic_blocks_javat , cover_basic_blockst , cover_blocks_baset
• block_tree_nodet() : java_bytecode_convert_methodt::block_tree_nodet
• blue() : consolet
• body() : array_comprehension_exprt , code_dowhilet , code_fort , code_switcht , code_whilet , cpp_enum_typet
• body_available() : goto_functiont
• bold() : consolet
• bool_typet() : bool_typet
• boolbv_decision_procedure() : solver_factoryt::solvert
• boolbv_mapt() : boolbv_mapt
• boolbv_set_equality_to_true() : boolbvt
• boolbv_width() : boolbvt , bv_pointers_widet
• boolbv_widtht() : boolbv_widtht
• boolbvt() : boolbvt
• bottom() : constant_interval_exprt
• bound_variables() : smt_exists_termt , smt_forall_termt
• bounded_expr_size() : complexity_limitert
• bounds_check() : goto_check_ct
• bounds_check_bit_count() : goto_check_ct
• bounds_check_index() : goto_check_ct
• break_continue_targetst() : goto_convertt::break_continue_targetst
• break_switch_targetst() : goto_convertt::break_switch_targetst
• bswap_exprt() : bswap_exprt
• build() : ansi_c_declaratort , cpp_typecheck_fargst , dirtyt , endianness_mapt , ieee_floatt , local_bitvector_analysist , local_cfgt , local_may_aliast , localst , object_descriptor_exprt , string_abstractiont , template_mapt , trace_automatont
• build_abstraction_type() : string_abstractiont
• build_abstraction_type_rec() : string_abstractiont
• build_alphabet() : trace_automatont
• build_analyzer() : janalyzer_parse_optionst
• build_array() : string_abstractiont
• build_array_constructor() : recursive_initializationt
• build_big_endian() : bv_endianness_mapt , endianness_mapt
• build_cex() : cegis_verifiert
• build_clock_type() : partial_order_concurrencyt
• build_cobertura() : symex_coveraget
• build_constant() : bv_utilst , float_utilst
• build_constructor() : recursive_initializationt
• build_constructor_body() : recursive_initializationt
• build_core() : resolution_prooft< T >
• build_dead_map() : goto_program2codet
• build_declaration_hops() : goto_convertt
• build_dynamic_array_constructor() : recursive_initializationt
• build_event_lists() : partial_order_concurrencyt
• build_extra_entry_points() : java_bytecode_languaget
• build_fixed() : disjunctive_polynomial_accelerationt , sat_path_enumeratort
• build_full_component_identifier() : resolve_inherited_componentt
• build_full_trace() : goto_trace_providert , java_multi_path_symex_checkert , java_single_path_symex_checkert , multi_path_symex_checkert , single_loop_incremental_symex_checkert , single_path_symex_checkert
• build_function_pointer_constructor() : recursive_initializationt
• build_if() : string_abstractiont
• build_little_endian() : bv_endianness_mapt , endianness_map_widet , endianness_mapt
• build_loop_map() : goto_program2codet
• build_memory_map() : interpretert
• build_new_symbol() : string_abstractiont
• build_nondet_constructor() : recursive_initializationt
• build_offset_map() : boolbvt
• build_path() : disjunctive_polynomial_accelerationt , sat_path_enumeratort
• build_per_thread_map() : memory_model_sct
• build_pointer() : string_abstractiont
• build_pointer_constructor() : recursive_initializationt
• build_reference_to() : value_set_dereferencet
• build_shortest_trace() : goto_trace_providert , java_multi_path_symex_checkert , java_single_path_symex_checkert , multi_path_symex_checkert , single_loop_incremental_symex_checkert , single_path_symex_checkert
• build_state_machine() : acceleratet
• build_string() : inv_object_storet
• build_struct_constructor() : recursive_initializationt
• build_symbol() : string_abstractiont
• build_symbol_constant() : string_abstractiont
• build_template_args() : template_mapt
• build_tmp_post_map() : enumerative_loop_contracts_synthesizert
• build_trace() : goto_trace_providert , java_multi_path_symex_checkert , java_single_path_symex_checkert , multi_path_symex_checkert , single_loop_incremental_symex_checkert , single_path_symex_checkert
• build_type() : string_abstractiont
• build_type_with_subtype() : ansi_c_convert_typet
• build_unassigned() : template_mapt
• build_unknown() : string_abstractiont
• build_virtual_method_name() : ci_lazy_methodst
• build_wrap() : string_abstractiont
• builtin_factory() : c_typecheck_baset , cpp_typecheckt
• builtin_function_nodet() : string_dependenciest::builtin_function_nodet
• bv() : literal_vector_exprt
• bv_arithmetict() : bv_arithmetict
• bv_dimacst() : bv_dimacst
• bv_division() : smt2_parsert
• bv_endianness_mapt() : bv_endianness_mapt
• bv_get() : boolbvt
• bv_get_cache() : boolbvt
• bv_get_rec() : boolbvt , bv_pointers_widet , bv_pointerst
• bv_get_unbounded_array() : boolbvt
• bv_minimizet() : bv_minimizet
• bv_minimizing_dect() : bv_minimizing_dect
• bv_mod() : smt2_parsert
• bv_pointers_widet() : bv_pointers_widet
• bv_pointerst() : bv_pointerst
• bv_refinementt() : bv_refinementt
• bv_spect() : bv_spect
• bv_typet() : bv_typet
• bv_utilst() : bv_utilst
• byte_extract_exprt() : byte_extract_exprt
• byte_offset_to_memory_offset() : interpretert
• byte_update_exprt() : byte_update_exprt