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

- f -

• fail() : unittest.TestCase
• failed() : cbmc_irep_readert, parse_result
• failed_symbol() : irept
• false_case() : if_exprt
• false_exprt() : false_exprt
• falsify_with_bounded_schedules() : esbmc_parseoptionst
• fan_out_array_construction() : clang_cpp_adjust_irep2
• fast_elem_equality() : python_list
• fatal_signal_advice() : esbmc_parseoptionst, parseoptions_baset
• file() : file_operations::tmp_file, irept
• file_data() : file_operations::file_data
• file_emitter() : smtlib_convt::file_emitter
• file_local() : irept
• fill_columns() : yaml_parser
• filter() : goto_coveraget
• filter_imports() : parser.json_emitter.ImportResolverLike
• final() : clang_c_languaget, clang_cpp_languaget, jimple_languaget, language_uit, languaget, ld_languaget, python_languaget, solidity_languaget
• finalize() : ai_baset, k_path_spanning_sett
• finalize_module() : preprocessor.module_lifecycle_mixin.ModuleLifecycleMixin
• finalize_pointer_chain() : smt_solver_baset
• finalize_realloc_result() : goto_symext
• find() : CspMap, element_type_registry, irept, persistent_map< K, V, Hash >, preprocessor.function_value_types._Analysis, std::char_traits< charT >, table, union_find< T >, unsigned_union_find, value_sett::object_map_dt, xmlt
• find_constructor_call() : clang_cpp_adjust_irep2
• find_constructor_ref() : solidity_convertert
• find_contract_name_for_id() : solidity_convertert
• find_decl_ref() : solidity_convertert
• find_expr() : exprt
• find_function_by_signature() : solidity_convertert
• find_function_loops() : goto_loopst
• find_instruction() : goto_program_serializationt
• find_last_parent() : solidity_convertert
• find_location() : exprt
• find_node() : andersent
• find_node_by_id() : solidity_convertert
• find_number() : union_find< T >
• find_parent_contract() : solidity_convertert
• find_sideeffect_on_bound_var() : goto_convertt
• find_solc() : solidity_languaget
• find_state() : ai_baset, ait< domainT >
• find_symbol() : contextt, python_converter
• find_type() : typet
• finish() : error_builder, picosha2::hash256_one_by_one
• finish_complex_lowering() : clang_c_adjust
• finish_gotos() : goto_convertt
• first_statement() : codet
• fit_numpy_integer_store() : python_converter
• fits_in_width() : python_math
• fix_array_idx() : smt_solver_baset
• fix_context() : fix_symbolt
• fix_symbol() : fix_symbolt
• fixedbv_spect() : fixedbv_spect
• fixedbv_type2t() : fixedbv_type2t
• fixedbv_typet() : fixedbv_typet
• fixedbvt() : fixedbvt
• fixedpoint() : ai_baset, ait< domainT >, static_analysis_baset
• fixup_renamed_type() : goto_symex_statet
• flat_shape_info_of() : python_list
• flatten() : array
• flatten_array_type() : smt_solver_baset
• flatten_contract_clause() : goto_convertt
• flatten_nested_tuple_assignment() : solidity_convertert
• flavor() : irept
• float_overflow_check() : goto_checkt
• floatbv_type2t() : floatbv_type2t
• floatbv_typet() : floatbv_typet
• floorPow2() : BigInt
• flow() : preprocessor.unbound_locals._Analysis
• flow_kinds() : preprocessor.function_value_types._Analysis
• fltmax() : ieee_floatt
• fltmin() : ieee_floatt
• flush() : smtlib_convt::file_emitter, smtlib_convt, smtlib_convt::process_emitter
• flush_deferred_assumptions() : goto_symext
• flush_latest_instructions() : runtime_encoded_equationt
• fold_constructor_assignment() : clang_cpp_adjust_irep2
• fold_from_bytes_byteorder() : function_call_expr
• follow() : namespacet
• follow_symbol() : namespacet
• follow_with_qualifiers() : c_typecastt
• for_each() : array, table
• forall2t() : forall2t
• force_cswitch() : execution_statet
• force_file_type() : clang_c_languaget, clang_cpp_languaget
• foreach_named_symbol_with_base() : contextt
• Foreach_operand() : contextt, expr2t
• foreach_operand() : contextt, expr2t
• foreach_operand_impl() : expr2t
• foreach_operand_impl_const() : expr2t
• Foreach_operand_in_order() : contextt
• foreach_operand_in_order() : contextt
• Foreach_subtype() : type2t
• foreach_subtype() : type2t
• foreach_subtype_impl() : type2t
• foreach_subtype_impl_const() : type2t
• format() : fixedbvt, fmt::formatter< BigInt >, fmt::formatter< expr2t >, fmt::formatter< exprt >, fmt::formatter< irep_idt >, fmt::formatter< irept >, fmt::formatter< locationt >, fmt::formatter< side_effect_expr_function_callt >, fmt::formatter< symbolt >, fmt::formatter< type2t >, fmt::formatter< typet >, ieee_floatt
• format_fstring_part() : string_handler
• format_printf_output() : goto_symext
• format_runtime_value() : string_handler
• format_spect() : format_spect
• format_tokent() : format_tokent
• formatter() : formatter
• fp_convt() : fp_convt
• fp_to_int_range_check() : goto_checkt
• frame_enforcert() : frame_enforcert
• framet() : goto_symex_statet::framet
• fresh_node() : andersent
• from() : irept
• from_base10() : ieee_floatt
• from_bytes() : int.int
• from_double() : ieee_floatt
• from_expr() : clang_c_languaget, clang_cpp_languaget, fixedbvt, ieee_floatt, jimple_languaget, languagest, languaget, ld_languaget, python_languaget
• from_float() : ieee_floatt
• from_imported_def() : preprocessor.function_value_types._Analysis
• from_integer() : fixedbvt, ieee_floatt
• from_irep() : symbolt
• from_json() : jimple_assertion, jimple_assignment, jimple_ast, jimple_binop, jimple_cast, jimple_class_field, jimple_constant, jimple_declaration, jimple_deref, jimple_expr_invoke, jimple_file, jimple_full_method_body, jimple_goto, jimple_identity, jimple_if, jimple_invoke, jimple_label, jimple_lengthof, jimple_method, jimple_modifiers, jimple_new, jimple_newarray, jimple_nondet, jimple_static_member, jimple_symbol, jimple_type, jimple_virtual_invoke, jimple_virtual_member
• from_string() : jimple_file, jimple_modifiers, symbol_id
• from_type() : clang_c_languaget, clang_cpp_languaget, exception_specificationt, jimple_languaget, languagest, languaget, ld_languaget, python_languaget
• front() : array, guard_seq
• fstring_repr_of_constant() : string_handler
• full() : queue.LifoQueue, queue.Queue
• full_adder() : bitblast_convt
• full_hash() : irept
• func_sig() : solidity_convertert::func_sig
• function() : code_function_callt, irept, side_effect_expr_function_callt
• function_call() : preprocessor.function_value_types._Analysis
• function_call_builder() : function_call_builder
• function_call_expr() : function_call_expr
• function_irep() : irept
• function_name() : preprocessor.check_type_lowering._Lowering
• function_ref() : esbmct::function_ref< R(Args...)>
• function_values() : function_values
• functions() : module