- e -

• e : ieee_float_spect
• e_ehsize : Elf32_Ehdr , Elf64_Ehdr
• e_entry : Elf32_Ehdr , Elf64_Ehdr
• e_flags : Elf32_Ehdr , Elf64_Ehdr
• e_ident : Elf32_Ehdr , Elf64_Ehdr
• e_machine : Elf32_Ehdr , Elf64_Ehdr
• e_phentsize : Elf32_Ehdr , Elf64_Ehdr
• e_phnum : Elf32_Ehdr , Elf64_Ehdr
• e_phoff : Elf32_Ehdr , Elf64_Ehdr
• e_shentsize : Elf32_Ehdr , Elf64_Ehdr
• e_shnum : Elf32_Ehdr , Elf64_Ehdr
• e_shoff : Elf32_Ehdr , Elf64_Ehdr
• e_shstrndx : Elf32_Ehdr , Elf64_Ehdr
• e_type : Elf32_Ehdr , Elf64_Ehdr
• e_version : Elf32_Ehdr , Elf64_Ehdr
• early : dump_ct::typedef_infot
• early_decision : qbf_squolem_coret , qbf_squolemt
• echo_file_name : compilet
• edges : call_grapht
• egraph : event_grapht::critical_cyclet , event_grapht::graph_explorert , instrumentert::cfg_visitort , instrumentert
• egraph_alt : instrumentert::cfg_visitort , instrumentert
• egraph_SCCs : instrumentert::cfg_visitort , instrumentert
• element : xml_parse_treet
• element_name : java_bytecode_parse_treet::annotationt::element_value_pairt
• element_value_pairs : java_bytecode_parse_treet::annotationt
• elements : equalityt::typestructt , xmlt
• elements_rev : equalityt::typestructt
• elems : __CPROVER_contracts_car_set_t , __CPROVER_contracts_obj_set_t
• elf32_header : elf_readert
• elf32_section_header_table : elf_readert
• elf64_header : elf_readert
• elf64_section_header_table : elf_readert
• elf_binary : linker_script_merget
• elf_class : elf_readert
• emit_set_logic : smt2_convt
• empty_clause_added : satcheck_minisat1_baset
• empty_d : sharing_treet< derivedt, named_subtreest >
• empty_list : optionst
• empty_object_map : value_sett
• empty_set : points_tot
• enable_assert_to_assume : goto_check_ct
• enable_bounds_check : goto_check_ct
• enable_conversion_check : goto_check_ct
• enable_div_by_zero_check : goto_check_ct
• enable_enum_range_check : goto_check_ct
• enable_float_div_by_zero_check : goto_check_ct
• enable_float_overflow_check : goto_check_ct
• enable_memory_cleanup_check : goto_check_ct
• enable_memory_leak_check : goto_check_ct
• enable_nan_check : goto_check_ct
• enable_pointer_check : goto_check_ct
• enable_pointer_overflow_check : goto_check_ct
• enable_pointer_primitive_check : goto_check_ct
• enable_signed_overflow_check : goto_check_ct
• enable_simplify : goto_check_ct
• enable_undefined_shift_check : goto_check_ct
• enable_unsigned_overflow_check : goto_check_ct
• end : goto_inlinet::goto_inline_logt::goto_inline_log_infot
• end_function_map : dependence_grapht
• end_location_number : goto_inlinet::goto_inline_logt::goto_inline_log_infot
• end_of_function : framet
• end_pc : java_bytecode_parse_treet::methodt::exceptiont
• end_scope_index : build_declaration_hops_inputst
• end_value : ranget< iteratort >
• endianness : configt::ansi_ct
• ensures_fn_name : is_fresh_baset
• ensures_write_set : dfcc_wrapper_programt
• entries : inv_object_storet , sparse_arrayt
• entry_location : memory_snapshot_harness_generatort
• entry_map : cfg_baset< T, P, I > , procedure_local_cfg_baset< T, java_bytecode_convert_methodt::method_with_amapt, java_bytecode_convert_methodt::method_offsett >
• entry_node : cfg_dominators_templatet< P, T, post_dom >
• entry_point_exists : goto_model_validation_optionst
• entry_state : state_encodingt
• enum_elements : java_bytecode_parse_treet::classt
• environment : constants_evaluator , interval_evaluator , value_set_evaluator
• eom : messaget
• epsilon : nfat< T >::transitiont , trace_automatont
• eq_class : datat
• eq_set : invariant_sett
• equal : smt_core_theoryt
• equalities : equalityt::typestructt
• equality_propagation : prop_conv_solvert
• equation : goto_symex_fault_localizert , goto_symex_property_decidert , multi_path_symex_only_checkert , path_storaget::patht , scratch_programt , single_loop_incremental_symex_checkert
• equation_generated : multi_path_symex_checkert
• equations : string_refinementt
• equations_containing : equation_symbol_mappingt
• erase_entry : recursion_set_entryt
• error_labels : goto_check_ct
• error_trace : safety_checkert
• errors : c_typecastt
• eval_string_cache : string_dependenciest
• evaluate_exprs : axiomst
• evaluation_function : lazyt< valuet >
• events_per_thread : event_grapht::graph_explorert
• exception_assignments : interpretert::function_assignments_contextt
• exception_table : java_bytecode_parse_treet::methodt
• exceptions_map : uncaught_exceptions_analysist
• exclude_null_derefs : value_set_dereferencet
• excluded_prefixes : prefix_filtert
• existential : string_constraintst
• exists_lower_bound : string_not_contains_constraintt
• exists_upper_bound : string_not_contains_constraintt
• exit : smt2_parsert
• exit_function : at_scope_exitt< functiont >
• exp : monomialt::termt
• expand_typedef : expr2c_configurationt
• expected : invariant_failure_containingt
• expected_error : smt2_parser_error_containingt
• exponent : float_bvt::unpacked_floatt , float_utilst::unpacked_floatt , ieee_floatt , parse_floatt
• exponent_base : parse_floatt
• export_cache : rd_range_domaint
• expr : boolbvt::quantifiert , bv_pointers_widet::postponedt , bv_pointerst::postponedt , bv_refinementt::approximationt , depth_iterator_expr_statet , guard_exprt , inv_object_storet::entryt , java_bytecode_parsert::pool_entryt , object_creation_referencet , simplify_exprt::resultt< T > , string_dependenciest::string_nodet
• expr_changed : simplify_exprt::resultt< T >
• expr_map : arrayst , bdd_exprt , format_expr_configt , rename_symbolt , replace_symbolt , template_mapt
• expr_set : ref_expr_set_dt
• expression : constants_evaluator , interval_evaluator , value_set_evaluator
• expression_after_replacement : replace_history_parametert
• expression_handle_identifiers : smt2_incremental_decision_proceduret
• expression_identifiers : smt2_incremental_decision_proceduret
• expressions : smt2_parsert
• extensions : language_entryt
• extra_info : function_name_manglert< MangleFun >
• extra_instantiated_classes : ci_lazy_methodst
• extra_methods : java_bytecode_language_optionst