- e -

• edgest : call_grapht , cfg_base_nodet< T, I > , dep_nodet , graph_nodet< E > , grapht< N > , visited_nodet< E > , vs_dep_nodet , xml_graph_nodet
• edget : call_grapht , cfg_base_nodet< T, I > , dep_nodet , graph_nodet< E > , grapht< N > , visited_nodet< E > , vs_dep_nodet , xml_graph_nodet
• element_value_pairst : java_bytecode_parse_treet::annotationt
• elements_revt : equalityt
• elementst : equalityt , xmlt
• elf32_section_header_tablet : elf_readert
• elf64_section_header_tablet : elf_readert
• entriest : rw_set_baset
• entry_mapt : procedure_local_cfg_baset< T, java_bytecode_convert_methodt::method_with_amapt, java_bytecode_convert_methodt::method_offsett >
• entryt : boolbv_widtht , cfg_baset< T, P, I > , procedure_local_cfg_baset< T, java_bytecode_convert_methodt::method_with_amapt, java_bytecode_convert_methodt::method_offsett >
• equal_cluster_idt : recursive_initializationt
• equalitiest : equalityt
• error_labelst : goto_check_ct
• event_it : partial_order_concurrencyt
• event_listt : partial_order_concurrencyt
• eventst : partial_order_concurrencyt
• eventt : partial_order_concurrencyt
• exception_listt : code_push_catcht
• exception_tablet : java_bytecode_parse_treet::methodt
• exceptions_mapt : uncaught_exceptions_analysist
• export_cachet : rd_range_domaint
• expr_mapt : bdd_exprt , format_expr_configt , rename_symbolt , replace_symbolt , template_mapt
• expr_pairst : acceleration_utilst , polynomial_acceleratort
• expr_pairt : acceleration_utilst , polynomial_acceleratort
• expr_sett : flow_insensitive_abstract_domain_baset , flow_insensitive_analysis_baset , ref_expr_set_dt , ref_expr_sett , value_set_fit
• expressionst : remove_const_function_pointerst
• exprt_to_car_mapt : instrument_spec_assignst