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

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

_

~

- 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_member() : struct_encodingt
• encode_ptr_pred_ctx() : dfcc_wrapper_programt
• 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, const_depth_iterator_range_adaptert, const_post_depth_iterator_range_adaptert, 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_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_float_valuet
• extract_base2() : ieee_float_valuet
• 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