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

- b -

• b : arg_struct2, arg_struct2_i, arg_struct, arg_struct_c3, arg_struct_d2, arg_struct_f5i2, arg_struct_ffloat, arg_struct_fint, arg_struct_fuint, arg_struct_fuintint, arg_struct_fuintt, arg_struct_i_ui_ull_f, arg_struct_intt, arg_struct_iuull, arg_struct_u2, arg_struct_u3
• back() : array, guard_seq, parse_key_buffer
• back_guard : transition_systemt
• backend : llm::configt
• bad : transition_systemt
• bad_literal() : ts_enginet
• bare_list_param_elem_type() : python_list
• barrel_shift() : bitblast_convt
• base : jimple_deref, mapping_t, mapping_t_fast, python_list::strided_view_desc
• base10_digits() : ieee_floatt
• base_array_id : array_ast
• base_case : goto_symext
• base_class : jimple_expr_invoke, jimple_invoke, jimple_virtual_invoke
• base_ctor_derived() : irept
• base_destructor() : clang_cpp_convertert
• base_dtor_this() : clang_cpp_convertert
• base_map : clang_cpp_convertert
• base_name : cbmc_symbolt, irept, renaming::level1t::name_record, renaming::level2t::name_record
• base_to_derived : typecast2t
• base_type() : complex_typet, expr2t, type2t
• base_type_eq() : base_type_eqt
• base_type_eq_rec() : base_type_eqt
• base_type_eqt() : base_type_eqt
• bases : preprocessor.module_rewrite_mixin.ModuleRewriteMixin, python_class, struct_type2t
• bases_ : class_definition
• baset : value_set_analysist
• basic_blocks : goto_cfg
• begin() : array, goto_cfg::basic_block, guard_seq, parse_result, path, persistent_map< K, V, Hash >, persistent_set< K, Hash >, scope_walker, source_region, 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
• big_endian : byte_extract2t, byte_update2t
• 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 : cbmc_symbolt
• binding_is_import() : python_converter
• bindings : preprocessor.generator_mixin._GeneratorConsumerScan
• binds_runtime_class() : python_converter
• binop : jimple_binop
• binop_count : cmath_lowering_policy::expr_cost
• 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
• bitint_max_align : configt::ansi_ct
• bitnot() : interval_templatet< T >, wrapped_interval
• bits : float_traits_base< T, MantissaDigits, DecimalDigits >, overflow_cast2t
• bitw : bitwuzla_convt
• bitw_options : bitwuzla_convt
• bitwuzla_convt() : bitwuzla_convt
• bitwuzllob_convt() : bitwuzllob_convt
• block_id : UserFBInstance
• block_out : VariableUses
• blocked_type_functions : preprocessor.class_context_mixin.ClassContextMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• bmc() : ts_enginet
• bmc_unwind : LdVerifyOptions
• bmct() : bmct, goto_symext
• body : code_dowhile2t, code_for2t, code_switch2t, code_while2t, goto_functiont, irept, jimple_file, jimple_method, preprocessor.class_context_mixin.ClassContextMixin, preprocessor.module_rewrite_mixin.ModuleRewriteMixin
• body_assumes : transition_systemt
• body_available : goto_functiont
• body_defs : transition_systemt
• body_dest : preprocessor.generator_mixin.GeneratorMixin._YieldReplacer
• body_has_escaping_control_flow() : python_exception_handler
• body_text : nested_func
• BOOL : c_typecastt, PyConstValue
• bool_t : solidity_convertert
• bool_type2t() : bool_type2t
• bool_typet() : bool_typet
• bool_val : PyConstValue
• bool_width : configt::ansi_ct
• boolean_sort : smt_solver_baset
• boolector_convt() : boolector_convt
• boolval : smtlib_smt_ast
• bottom : cse_domaint, interval_domaint, wrapped_interval
• bound : andersent::indirect_callt, preprocessor.iter_next_lowering._Lowering
• bound_dynamic_object_size() : goto_symext
• bound_method_vars : preprocessor.core_visitors_mixin.CoreVisitorsMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• bound_symbol_id() : dynamic_type_handler
• bounded : printf_formattert
• bounded_loop_truncations : goto_symext, goto_symext::symex_resultt
• bounded_loop_unroller() : bounded_loop_unroller
• bounded_math() : bounded_math, python_converter
• bounds_check() : goto_checkt
• boxmuller_extra : curandStateXORWOW
• boxmuller_extra_double : curandStateXORWOW
• boxmuller_flag : curandStateXORWOW
• brace_pushed_scope : scope_walker
• branch_coverage() : goto_coveraget
• branch_decision_guard() : goto_symext
• branch_function_coverage() : goto_coveraget
• branching : preprocessor.generator_mixin._GeneratorConsumerScan, symex_target_equationt, symex_targett, waypoint
• break_continue_targetst() : goto_convertt::break_continue_targetst
• break_insn : goto_symext
• break_set : goto_convertt::break_continue_targetst, goto_convertt::break_switch_targetst, goto_convertt::targetst
• break_stack_size : goto_convertt::break_continue_targetst, goto_convertt::break_switch_targetst, goto_convertt::targetst
• break_switch_targetst() : goto_convertt::break_switch_targetst
• break_target : goto_convertt::break_continue_targetst, goto_convertt::break_switch_targetst, goto_convertt::targetst
• BREANCHING : symex_targett
• btor : boolector_convt
• buf : error_builder
• buf_size : error_builder
• buffer : numpy_nditer_operand, parse_key_buffer, utf8_buffered_reader
• buffered : numpy_nditer_state
• 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_goto_symex_classes : execution_statet, goto_symext, reachability_treet, renaming::level2t, renaming::renaming_levelt
• 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 : bitblast_smt_ast, irept
• bv_typet() : bv_typet
• bvand() : bitblast_convt
• bvnot() : bitblast_convt
• bvor() : bitblast_convt
• bvxor() : bitblast_convt
• by_import : python_converter::scope_bindings
• by_other : python_converter::scope_bindings
• byte_dynamic_t : solidity_convertert
• byte_extract2t() : byte_extract2t
• byte_static_t : solidity_convertert
• byte_update2t() : byte_update2t
• byteorder : sys._FloatInfo
• bytes : code_contractst::param_extentt, utf8_codepoint
• bytes_used() : stack_budget_guardt< Tag >