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

- b -

• back() : array, guard_seq, parse_key_buffer
• bad_literal() : ts_enginet
• bare_list_param_elem_type() : python_list
• barrel_shift() : bitblast_convt
• base10_digits() : ieee_floatt
• base_ctor_derived() : irept
• base_destructor() : clang_cpp_convertert
• base_dtor_this() : clang_cpp_convertert
• base_name() : irept
• base_type() : complex_typet
• base_type_eq() : base_type_eqt
• base_type_eq_rec() : base_type_eqt
• base_type_eqt() : base_type_eqt
• bases() : python_class
• begin() : array, guard_seq, parse_result, path, persistent_map< K, V, Hash >, persistent_set< K, Hash >, table, value_sett::object_map_dt
• begin_round() : property_verdict_tablet
• begin_step() : smt_convt, smt_solver_baset
• bias() : ieee_float_spect
• bidirectional_search() : bmct
• bigger() : wrapped_interval
• BigInt() : BigInt
• binary_exprt() : binary_exprt
• binary_relation_exprt() : binary_relation_exprt
• bind() : numpy_nditer, preprocessor.bound_method_dispatch._Dispatch
• bind_arguments() : goto_loopst::function_summaryt
• bind_call() : andersent
• bind_dict_source() : python_dict_handler
• bind_sideeffect_operands() : clang_c_adjust
• binding_is_import() : python_converter
• binds_runtime_class() : python_converter
• bit_count() : int.int
• bit_length() : int.int
• bitblast_convt() : bitblast_convt
• bitblast_smt_ast() : bitblast_smt_ast
• bitblast_smt_sort() : bitblast_smt_sort
• bitcast2t() : bitcast2t
• bitnot() : interval_templatet< T >, wrapped_interval
• bitwuzla_convt() : bitwuzla_convt
• bitwuzllob_convt() : bitwuzllob_convt
• bmc() : ts_enginet
• bmct() : bmct
• body() : irept
• body_has_escaping_control_flow() : python_exception_handler
• bool_type2t() : bool_type2t
• bool_typet() : bool_typet
• boolector_convt() : boolector_convt
• bound_dynamic_object_size() : goto_symext
• bound_symbol_id() : dynamic_type_handler
• bounded_loop_unroller() : bounded_loop_unroller
• bounded_math() : bounded_math
• bounds_check() : goto_checkt
• branch_coverage() : goto_coveraget
• branch_decision_guard() : goto_symext
• branch_function_coverage() : goto_coveraget
• branching() : symex_target_equationt, symex_targett
• break_continue_targetst() : goto_convertt::break_continue_targetst
• break_switch_targetst() : goto_convertt::break_switch_targetst
• build() : function_call_builder, ieee_floatt, LdIRBuilder, python_class_builder
• build_affix_tuple_match() : string_handler
• build_array() : type_handler
• build_bool_mask_index() : python_list
• build_bool_mask_row_select() : python_list
• build_bool_mask_row_select_symbolic() : python_list
• build_byte_string() : string_builder
• build_canonical_signature() : solidity_convertert
• build_column_select() : python_list
• build_compiler_args() : clang_c_languaget
• build_concat_list_call() : python_list
• build_contiguous_shaped_view() : python_list
• build_copy_list_call() : python_list
• build_count_index_list_call() : python_list
• build_count_list_call() : python_list
• build_dataclass_eq() : preprocessor.dataclass_mixin.DataclassMixin
• build_dataclass_fields_metadata() : preprocessor.dataclass_mixin.DataclassMixin
• build_dataclass_hash() : preprocessor.dataclass_mixin.DataclassMixin
• build_dataclass_order() : preprocessor.dataclass_mixin.DataclassMixin
• build_dataclass_repr() : preprocessor.dataclass_mixin.DataclassMixin
• build_destructor_chain() : clang_cpp_convertert
• build_dynamic_cast() : clang_cpp_convertert
• build_element_replacement() : python_list
• build_extend_list_call() : python_list
• build_fancy_index() : python_list
• build_fstring_conversion() : string_handler
• build_function_id() : function_call_builder
• build_include_args() : clang_c_languaget, clang_cpp_languaget
• build_index_list_call() : python_list
• build_index_range_list_call() : python_list
• build_init() : preprocessor.dataclass_mixin.DataclassMixin
• build_injected_source() : yaml_parser
• build_insert_list_call() : python_list
• build_is_tuple_call() : python_list
• build_isinstance_check() : dynamic_type_handler, python_typechecking
• build_lambda_static_invoker() : clang_cpp_convertert
• build_list_from_exprs() : python_list
• build_list_from_range() : python_list
• build_list_from_tuple() : python_list
• build_mark_tuple_call() : python_list
• build_member_from_component() : clang_cpp_convertert
• build_min_max_for_mixed_numeric() : python_list
• build_mixed_slice_tuple_select() : python_list
• build_neg_tagged() : dynamic_type_handler
• build_nondet_string() : string_handler
• build_nondet_string_fallback() : string_handler
• build_null_terminated_string() : string_builder
• build_numeric_conversion() : dynamic_type_handler
• build_optional_type() : type_handler
• build_partition_tuple() : string_handler
• build_pop_list_call() : python_list
• build_power_expression() : python_math
• build_push_list_call() : python_list
• build_python_is_none_check() : goto_checkt
• build_python_isinstance_check() : goto_checkt
• build_python_type_assertion() : goto_checkt
• build_python_type_operand() : goto_checkt
• build_range_dict_comprehension() : python_dict_handler
• build_raw_byte_array() : string_builder
• build_reference_rec() : dereferencet
• build_remove_list_call() : python_list
• build_repr() : string_handler
• build_result() : numpy_call_expr
• build_runtime_str_conversion_call() : string_builder
• build_runtime_str_join_call() : string_builder
• build_set_copy() : python_set
• build_set_difference_call() : python_set
• build_set_intersection_call() : python_set
• build_set_membership_call() : python_list
• build_set_method_call() : python_set
• build_set_relation_call() : python_set
• build_set_symmetric_difference_call() : python_set
• build_set_union_call() : python_set
• build_shallow_copy_call() : python_list
• build_split_list() : python_list
• build_strided_column_select() : python_list
• build_string_literal() : string_builder
• build_symbolic_fill_list() : python_list
• build_tagged_value() : dynamic_type_handler
• build_trace_reduction() : python_list
• build_truthiness() : dynamic_type_handler
• build_tuple_copy_call() : python_list
• build_type_assertion() : python_typechecking
• build_violation_witness_source() : yaml_parser
• build_vtable_map() : clang_cpp_convertert
• bump_addrspace_array() : smt_solver_baset
• bump_call() : goto_symext
• bundled() : file_operations::file_data
• bundled_count() : file_operations::filesystemt
• bv() : irept
• bv_typet() : bv_typet
• bvand() : bitblast_convt
• bvnot() : bitblast_convt
• bvor() : bitblast_convt
• bvxor() : bitblast_convt
• byte_extract2t() : byte_extract2t
• byte_update2t() : byte_update2t
• bytes_used() : stack_budget_guardt< Tag >