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

- e -

• edget() : edget
• effective_loop_head() : loopst
• element_id() : element_type_registry
• element_tests() : preprocessor.check_type_lowering._Lowering
• element_type() : element_type_registry
• elements() : irept, preprocessor.function_value_types._Analysis
• elided_copy_source() : clang_cpp_convertert
• eliminate_duplicates() : bitblast_convt
• ellipsis() : irept
• else_case() : code_ifthenelset
• emit() : smtlib_convt, smtlib_convt::file_emitter, smtlib_convt::process_emitter
• emit_assert_fail_noreturn() : goto_convertt
• emit_ast() : smtlib_convt
• emit_catch_block() : python_exception_handler
• emit_check_sat() : smtlib_convt
• emit_counted_loop() : python_list
• emit_guarded_raise() : python_converter
• emit_ll_temp() : python_list
• emit_reshape_size_guard() : python_list
• emit_statement_into_current_block() : python_converter
• emit_terminal_ast() : smtlib_convt
• emit_type_annotation_assertion() : python_typechecking
• emit_view_accumulator() : python_list
• emit_view_copy_buffer() : python_list
• emit_view_loops() : python_list
• emits_assert() : goto_convertt
• emplace() : array
• emplace_back() : array
• empty() : array, goto_programt, guard_seq, interval_templatet< T >, irep_idt, parse_key_buffer, path, persistent_map< K, V, Hash >, persistent_set< K, Hash >, queue.LifoQueue, queue.Queue, table, wrapped_interval
• empty_type2t() : empty_type2t
• empty_typet() : empty_typet
• enable_fault_injection() : ld_converter
• encode() : property_encoder
• encode_array_equality() : array_convt
• encode_ieee_add() : ir_ieee_convt
• encode_ieee_div() : ir_ieee_convt
• encode_ieee_fma() : ir_ieee_convt
• encode_ieee_mul() : ir_ieee_convt
• encode_ieee_rem() : ir_ieee_convt
• encode_ieee_sub() : ir_ieee_convt
• encode_pointer_repr() : smt_solver_baset
• end() : array, guard_seq, parse_result, path, persistent_map< K, V, Hash >, persistent_set< K, Hash >, table, value_sett::object_map_dt
• end_location() : irept
• end_step() : smt_convt, smt_solver_baset
• end_thread() : execution_statet
• endianess_overrides_target() : configt::ansi_ct
• enforce_contracts() : code_contractst
• enforce_frame_rule() : frame_enforcert
• ensure_all_locations() : preprocessor.ast_utils_mixin.AstUtilsMixin
• ensure_node() : andersent
• ensure_null_terminated_string() : string_builder, string_handler
• ensure_string_array() : string_handler
• ensure_thread_count() : reachability_treet::scheduler_framet
• ensure_void_void_intrinsic() : python_converter
• enter_contract_clause() : python_converter
• enter_for_scope() : scope_walker
• entry_key() : value_sett
• entry_state() : ai_baset
• entryt() : rw_sett::entryt, value_sett::entryt
• eof() : parsert, std::char_traits< charT >, utf8_byte_stream< std::basic_string_view< Char > >, utf8_byte_stream< std::istream >
• eol() : printf_formattert
• eq() : array_ast, array_sym_smt_ast, smt_ast, std::char_traits< charT >, tuple_node_smt_ast, tuple_sym_smt_ast
• eq_fixedsize() : array_ast
• eq_float_type_id() : python_list
• eq_int_type() : std::char_traits< charT >
• equal() : bitblast_convt
• equality() : interval_templatet< T >, wrapped_interval
• equality_exprt() : equality_exprt
• erase() : array, hash_numbering< T, hash_fkt >, numbering< T >, persistent_map< K, V, Hash >, persistent_set< K, Hash >, table, value_sett
• erase_current_frame() : reachability_treet
• erase_object() : value_sett
• erase_since() : contextt
• erase_symbol() : contextt
• error() : parse_result, utf8_buffered_reader, utf8_byte_stream< std::basic_string_view< Char > >, utf8_byte_stream< std::istream >, utf8_reader< T >, utf8_reader_interface
• error_builder() : error_builder
• error_trace() : bmct
• esbmc_parseoptionst() : esbmc_parseoptionst
• escape() : xmlt
• escape_attribute() : xmlt
• escape_in_nested_cleanup_children() : python_exception_handler
• escape_in_nested_cleanup_scope() : python_exception_handler
• eval_address_of() : andersent
• eval_boolean_expression() : interval_domaint
• eval_branch() : andersent
• eval_constant_aggregate() : andersent
• eval_integer() : andersent
• eval_pointer_arithmetic() : andersent
• eval_realloc() : andersent
• eval_rhs() : andersent
• eval_sideeffect() : andersent
• eval_value() : andersent
• event() : irept
• event_irep() : irept
• ex_state_level2t() : execution_statet::ex_state_level2t
• exceeded() : stack_budget_guardt< Tag >
• exception_specificationt() : exception_specificationt
• exception_typeidt() : exception_typeidt
• execute_array_ite() : array_convt
• execute_array_joining_ite() : array_convt
• execute_array_trans() : array_convt
• execute_array_update() : array_convt
• execute_guard() : execution_statet
• execute_new_updates() : array_convt
• execution_statet() : execution_statet
• exists() : file_operations::filesystemt
• exists2t() : exists2t
• expand_dataclass() : preprocessor.dataclass_mixin.DataclassMixin
• expand_function_call() : goto_inlinet
• expand_row_stores() : smt_solver_baset
• expand_unittest_main() : preprocessor.unittest_mixin.UnittestMixin
• explict() : irept
• expr2ct() : expr2ct
• expr2t() : expr2t
• expr_kind() : preprocessor.function_value_types._Analysis
• expr_needs_rename() : goto_convert_functionst
• expr_to_ibex_parser() : expr_to_ibex_parser
• expression() : code_expressiont
• expression_type() : python_converter
• exprt() : exprt
• extend() : wrapped_interval
• extract2t() : extract2t
• extract_abi_encode_signature() : solidity_convertert
• extract_and_remove_side_effects() : goto_loop_invariantt
• extract_base10() : ieee_floatt
• extract_base2() : ieee_floatt
• extract_binop_union_types() : type_utils
• extract_constant_string() : string_handler
• extract_loop_assigns() : goto_loop_invariantt
• extract_loop_invariants() : goto_loop_invariantt
• extract_module_name() : pytest_generator
• extract_new_contracts() : solidity_convertert
• extract_pyobject_value() : python_list
• extract_string_chars() : string_builder
• extract_string_from_array_operands() : string_handler
• extract_union_types() : type_utils
• extrapolate_intervals() : interval_domaint
• extrapolate_to() : wrapped_interval