Here is a list of all variables 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_guard : transition_systemt
- backend : llm::configt
- bad : transition_systemt
- base : jimple_deref, mapping_t, mapping_t_fast, python_list::strided_view_desc
- base_array_id : array_ast
- base_case : goto_symext
- base_class : jimple_expr_invoke, jimple_invoke, jimple_virtual_invoke
- base_name : cbmc_symbolt, renaming::level1t::name_record, renaming::level2t::name_record
- base_to_derived : typecast2t
- bases : preprocessor.module_rewrite_mixin.ModuleRewriteMixin, struct_type2t
- bases_ : class_definition
- basic_blocks : goto_cfg
- begin : goto_cfg::basic_block, scope_walker, source_region
- big_endian : byte_extract2t, byte_update2t
- binding : cbmc_symbolt
- bindings : preprocessor.generator_mixin._GeneratorConsumerScan
- binop : jimple_binop
- binop_count : cmath_lowering_policy::expr_cost
- bitint_max_align : configt::ansi_ct
- bits : float_traits_base< T, MantissaDigits, DecimalDigits >, overflow_cast2t
- bitw : bitwuzla_convt
- bitw_options : bitwuzla_convt
- block_id : UserFBInstance
- block_out : VariableUses
- blocked_type_functions : preprocessor.class_context_mixin.ClassContextMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
- bmc_unwind : LdVerifyOptions
- body : code_dowhile2t, code_for2t, code_switch2t, code_while2t, goto_functiont, 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_text : nested_func
- bool_t : solidity_convertert
- bool_val : PyConstValue
- bool_width : configt::ansi_ct
- boolean_sort : smt_solver_baset
- boolval : smtlib_smt_ast
- bottom : cse_domaint, interval_domaint, wrapped_interval
- bound : andersent::indirect_callt, preprocessor.iter_next_lowering._Lowering
- bound_method_vars : preprocessor.core_visitors_mixin.CoreVisitorsMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
- bounded : printf_formattert
- bounded_loop_truncations : goto_symext, goto_symext::symex_resultt
- boxmuller_extra : curandStateXORWOW
- boxmuller_extra_double : curandStateXORWOW
- boxmuller_flag : curandStateXORWOW
- brace_pushed_scope : scope_walker
- branching : preprocessor.generator_mixin._GeneratorConsumerScan
- 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_target : goto_convertt::break_continue_targetst, goto_convertt::break_switch_targetst, goto_convertt::targetst
- btor : boolector_convt
- buf : error_builder
- buf_size : error_builder
- buffer : numpy_nditer_operand, parse_key_buffer, utf8_buffered_reader
- buffered : numpy_nditer_state
- bv : bitblast_smt_ast
- by_import : python_converter::scope_bindings
- by_other : python_converter::scope_bindings
- byte_dynamic_t : solidity_convertert
- byte_static_t : solidity_convertert
- byteorder : sys._FloatInfo
- bytes : code_contractst::param_extentt, utf8_codepoint
1.15.0