- b -

• backing_storet : dense_integer_mapt< K, V, KeyToDenseInteger >
• base_grapht : cfg_baset< T, P, I > , procedure_local_cfg_baset< T, java_bytecode_convert_methodt::method_with_amapt, java_bytecode_convert_methodt::method_offsett >
• basest : struct_typet
• baset : invariant_propagationt , irept , value_set_analysis_fit , value_set_analysis_templatet< VSDT >
• bdd_variable_mapt : qbf_bdd_coret
• bit_vectort : custom_bitvector_domaint
• bitst : custom_bitvector_analysist , custom_bitvector_domaint
• block_linest : source_linest
• block_mapt : cover_basic_blockst
• bounds_mapt : invariant_sett
• boundst : invariant_sett
• build_generatort : goto_harness_generator_factoryt
• bv_cachet : boolbvt