- f -

• field_definitiont : shadow_memory_field_definitionst
• fieldst : java_bytecode_parse_treet::classt
• fieldt : java_bytecode_convert_classt , java_bytecode_parsert
• file_mapt : language_filest
• finished_sett : goto_inlinet
• fkt_mapt : local_may_alias_factoryt
• flatten_seent : value_set_fit
• float_mapt : interval_domaint
• formattert : format_expr_configt
• freet : mini_bdd_mgrt
• full_array_pointert : full_array_abstract_objectt
• function_assignments_contextst : interpretert
• function_assignmentst : interpretert
• function_blockst : statement_list_parse_treet
• function_cachet : qbf_bdd_certificatet , qbf_squolem_coret
• function_call_resolvert : get_virtual_calleest
• function_itt : function_itt_hasht , function_loc_pairt
• function_linest : source_linest
• function_mapt : function_assignst , functionst , goto_functionst
• function_may_throwt : remove_exceptionst
• functions_donet : flow_insensitive_analysis_baset
• functionst : c_wranglert , remove_const_function_pointerst , statement_list_parse_treet