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

- 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_float_valuet
• 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
• bitnand_exprt() : bitnand_exprt
• bitnor_exprt() : bitnor_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