- e -

• edge() : grapht< N >
• elaborate_class_template() : cpp_typecheckt
• element_address_exprt() : element_address_exprt
• element_sort() : smt_array_sortt
• element_type() : array_typet , element_address_exprt , vector_typet
• elements() : enumeration_typet
• elf32_section_name() : elf_readert
• elf64_section_name() : elf_readert
• elf_readert() : elf_readert
• eliminate_duplicates() : cnft
• else_branch() : bdd_nodet
• else_case() : code_ifthenelset
• emit() : axiomst
• emit_word() : help_formattert
• emplace() : forward_list_as_mapt< keyt, mappedt >
• emplace_back() : json_arrayt
• empty() : abstract_object_sett , designatort , dstringt , fixed_keys_map_wrappert< mapt > , goto_programt , grapht< N > , interval_templatet< T > , irep_hash_mapt< Key, T > , json_arrayt , loop_templatet< T, C > , path_storaget , ranget< iteratort > , ref_expr_sett , replace_symbolt , rw_set_baset , sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT > , sharing_nodet< keyT, valueT, equalT > , small_mapt< T, Ind, Num > , solver_hardnesst::assertion_statst
• empty_typet() : empty_typet
• empty_union_exprt() : empty_union_exprt
• enable_include_headers() : dump_c_configurationt
• encode() : bv_pointers_widet , bv_pointerst , state_encodingt , struct_encodingt
• encode_assignable_target() : dfcc_contract_clauses_codegent
• encode_assignable_target_group() : dfcc_contract_clauses_codegent
• encode_checked_function_call() : dfcc_wrapper_programt
• encode_contract_write_set() : dfcc_wrapper_programt
• encode_ensures_clauses() : dfcc_wrapper_programt
• encode_ensures_write_set() : dfcc_wrapper_programt
• encode_freeable_target() : dfcc_contract_clauses_codegent
• encode_freeable_target_group() : dfcc_contract_clauses_codegent
• encode_function_call() : dfcc_wrapper_programt
• encode_havoced_function_call() : dfcc_wrapper_programt
• encode_is_fresh_set() : dfcc_wrapper_programt
• encode_member() : struct_encodingt
• encode_requires_clauses() : dfcc_wrapper_programt
• encode_requires_write_set() : dfcc_wrapper_programt
• end() : 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
• end_location() : code_blockt
• end_reached() : zip_iteratort< first_iteratort, second_iteratort, same_size >
• endianness_map() : boolbvt , bv_pointers_widet , bv_pointerst
• endianness_map_widet() : endianness_map_widet
• endianness_mapt() : endianness_mapt
• enforce_contract() : code_contractst
• enforce_contracts() : code_contractst
• enforce_rules() : cpp_declarator_convertert
• ensure_entry_converted() : lazy_goto_functions_mapt
• ensure_function_loaded() : lazy_goto_functions_mapt
• ensure_function_loaded_internal() : lazy_goto_functions_mapt
• ensure_handle_for_expr_defined() : smt2_incremental_decision_proceduret
• ensure_harness_does_not_already_exist() : function_call_harness_generatort::implt
• ensure_no_overflows() : acceleration_utilst , polynomial_acceleratort
• enter_function() : instrumentert::cfg_visitort
• enter_scope_state_exprt() : enter_scope_state_exprt
• entries() : cfg_baset< T, P, I >
• entry() : structured_data_entryt
• entry_goto_locationt() : memory_snapshot_harness_generatort::entry_goto_locationt
• entry_locationt() : memory_snapshot_harness_generatort::entry_locationt
• entry_mapt() : cfg_baset< T, P, I >::entry_mapt
• entry_point() : goto_functionst
• entry_point_methods() : ci_lazy_methodst
• entry_source_locationt() : memory_snapshot_harness_generatort::entry_source_locationt
• entry_state() : ai_baset
• entryt() : designatort::entryt , rw_set_baset::entryt , value_set_fit::entryt , value_sett::entryt
• enum_constant_type() : c_typecheck_baset
• enum_is_in_range_exprt() : enum_is_in_range_exprt
• enum_range_check() : goto_check_ct
• enum_to_string() : arrayst
• enum_underlying_type() : c_typecheck_baset
• enumerate() : alternatives_enumeratort , enumerator_baset , leaf_enumeratort , non_leaf_enumeratort , recursive_enumerator_placeholdert
• enumerating_loop_accelerationt() : enumerating_loop_accelerationt
• enumeration_typet() : enumeration_typet
• enumerative_loop_contracts_synthesizert() : enumerative_loop_contracts_synthesizert
• enumerator_baset() : enumerator_baset
• enumerator_factoryt() : enumerator_factoryt
• envelop() : context_abstract_objectt
• environment_with_rounding_mode() : constants_evaluator
• eof() : ctokenitt , mini_c_parsert , parsert
• eol() : printf_formattert
• epoch() : ai_history_factory_baset , ai_history_factory_default_constructort< traceT > , call_stack_history_factoryt , local_control_flow_history_factoryt
• epsilon_closure() : trace_automatont
• equal() : bv_utilst , constant_interval_exprt
• equal_exprt() : equal_exprt
• equality() : equalityt
• equality2() : equalityt
• equalityt() : equalityt
• equals() : bddt , goto_programt , goto_programt::instructiont
• equation_output() : single_path_symex_only_checkert
• erase() : abstract_environmentt , forward_list_as_mapt< keyt, mappedt > , irep_hash_mapt< Key, T > , journalling_symbol_tablet , replace_symbolt , sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT > , small_mapt< T, Ind, Num > , symbol_table_baset , symbol_table_buildert , symbol_tablet
• erase_blank_vectors() : custom_bitvector_domaint
• erase_if_exists() : sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
• erase_in() : graph_nodet< E >
• erase_literals() : boolbv_mapt
• erase_locals() : loop_cfg_infot
• erase_out() : graph_nodet< E >
• erase_struct_union_symbol() : value_sett
• erase_symbol() : value_sett
• erase_symbol_rec() : value_sett
• erase_values_from_entry() : value_sett
• err() : consolet
• error() : linking_diagnosticst , messaget , smt2_parsert , smt2_tokenizert
• errort() : typecheckt::errort
• escape() : dott , xmlt
• escape_attribute() : xmlt
• escape_domaint() : escape_domaint
• escape_string() : jsont
• euclidean_mod_exprt() : euclidean_mod_exprt
• eval() : abstract_environmentt , constant_interval_exprt , custom_bitvector_analysist , custom_bitvector_domaint , scratch_programt , string_builtin_function_with_no_evalt , string_builtin_functiont , string_concat_char_builtin_functiont , string_concatenation_builtin_functiont , string_dependenciest , string_format_builtin_functiont , string_insertion_builtin_functiont , string_of_int_builtin_functiont , string_set_char_builtin_functiont , string_to_lower_case_builtin_functiont , string_to_upper_case_builtin_functiont , variable_sensitivity_domaint
• eval_data_deps() : variable_sensitivity_dependence_domaint
• eval_expr() : gdb_apit
• eval_expression() : abstract_environmentt
• eval_pointer_offset() : value_sett
• eval_ptr_comparison() : abstract_pointer_objectt
• eval_ptr_diff() : abstract_pointer_objectt
• eval_verbosity() : messaget
• evaluate() : cegis_evaluatort , interpretert
• evaluate_address() : interpretert
• evaluate_boolean() : interpretert
• evaluate_combination() : value_set_evaluator
• evaluate_conditional() : interval_evaluator , value_set_evaluator
• evaluate_each_combination() : value_set_evaluator
• evaluate_expr() : state_encodingt
• evaluate_expr_rec() : state_encodingt
• evaluate_exprt() : evaluate_exprt
• evaluate_fc() : axiomst
• evaluate_rec_bool() : cegis_evaluatort
• evaluate_rec_int() : cegis_evaluatort
• evaluate_unary_expr() : interval_evaluator
• event_grapht() : event_grapht
• exact_match_functions() : cpp_typecheck_resolvet
• exception_flag() : goto_convertt
• exception_list() : code_push_catcht
• exception_list_entryt() : code_push_catcht::exception_list_entryt
• exceptiont() : java_bytecode_parse_treet::methodt::exceptiont
• execute_assert() : interpretert
• execute_assign() : interpretert
• execute_assume() : interpretert
• execute_decl() : interpretert
• execute_function_call() : interpretert
• execute_goto() : interpretert
• execute_next_instruction() : goto_symext
• execute_other() : interpretert
• execute_solver() : external_satt
• exists_exprt() : exists_exprt
• exit_scope_state_exprt() : exit_scope_state_exprt
• expand_function_applications() : smt2_solvert
• expand_function_call() : goto_inlinet
• expected_instructiont() : require_parse_tree::expected_instructiont
• explicit_typecast_ambiguity() : cpp_typecheckt
• explore_copy_segment() : event_grapht
• exponent() : power_exprt
• exponent_all_ones() : float_bvt , float_utilst
• exponent_all_zeros() : float_bvt , float_utilst
• expr2c_configurationt() : expr2c_configurationt
• expr2cppt() : expr2cppt
• expr2ct() : expr2ct
• expr2javat() : expr2javat
• expr2poly() : acceleration_utilst , polynomial_acceleratort
• expr2stlt() : expr2stlt
• expr2string() : lispexprt , solver_hardnesst
• expr_initializer_rec() : expr_initializert
• expr_initializert() : expr_initializert
• expr_of_char_count() : character_refine_preprocesst
• expr_of_char_value() : character_refine_preprocesst
• expr_of_high_surrogate() : character_refine_preprocesst
• expr_of_is_alphabetic() : character_refine_preprocesst
• expr_of_is_ascii_lower_case() : character_refine_preprocesst
• expr_of_is_ascii_upper_case() : character_refine_preprocesst
• expr_of_is_bmp_code_point() : character_refine_preprocesst
• expr_of_is_defined() : character_refine_preprocesst
• expr_of_is_digit() : character_refine_preprocesst
• expr_of_is_high_surrogate() : character_refine_preprocesst
• expr_of_is_identifier_ignorable() : character_refine_preprocesst
• expr_of_is_letter() : character_refine_preprocesst
• expr_of_is_letter_number() : character_refine_preprocesst
• expr_of_is_letter_or_digit() : character_refine_preprocesst
• expr_of_is_mirrored() : character_refine_preprocesst
• expr_of_is_space_char() : character_refine_preprocesst
• expr_of_is_supplementary_code_point() : character_refine_preprocesst
• expr_of_is_surrogate() : character_refine_preprocesst
• expr_of_is_title_case() : character_refine_preprocesst
• expr_of_is_unicode_identifier_part() : character_refine_preprocesst
• expr_of_is_unicode_identifier_start() : character_refine_preprocesst
• expr_of_is_valid_code_point() : character_refine_preprocesst
• expr_of_is_whitespace() : character_refine_preprocesst
• expr_of_low_surrogate() : character_refine_preprocesst
• expr_of_reverse_bytes() : character_refine_preprocesst
• expr_of_to_chars() : character_refine_preprocesst
• expr_of_to_lower_case() : character_refine_preprocesst
• expr_of_to_title_case() : character_refine_preprocesst
• expr_of_to_upper_case() : character_refine_preprocesst
• expr_protectedt() : expr_protectedt
• expr_queryt() : expr_queryt< T >
• expr_set() : ref_expr_sett
• expr_set_write() : ref_expr_sett
• expr_skeletont() : expr_skeletont
• expr_to_string() : dump_ct
• expression() : code_expressiont , history_exprt , smt2_parsert
• expression_transform() : abstract_aggregate_objectt< aggregate_typet, aggregate_traitst > , abstract_objectt , abstract_pointer_objectt , abstract_value_objectt , context_abstract_objectt
• exprt() : exprt
• extend_path() : acceleratet , all_paths_enumeratort
• extension() : bv_utilst
• extensions() : ansi_c_languaget , cpp_languaget , java_bytecode_languaget , json_symtab_languaget , languaget , statement_list_languaget
• external_satt() : external_satt
• extract() : bv_utilst , mz_zip_archivet , smt_bit_vector_theoryt
• extract_base10() : ieee_floatt
• extract_base2() : ieee_floatt
• extract_cycle() : event_grapht::graph_explorert
• extract_gb() : osx_fat_readert
• extract_lsb() : bv_utilst
• extract_msb() : bv_utilst
• extract_my_events() : instrumentert
• extract_polynomial() : acceleration_utilst , polynomial_acceleratort
• extract_to_file() : mz_zip_archivet
• extract_violation_type() : cegis_verifiert
• extractbit_exprt() : extractbit_exprt
• extractbits_exprt() : extractbits_exprt