- f -
- fieldst
: java_bytecode_parse_treet::classt
, java_bytecode_parsert
- fieldt
: java_bytecode_convert_classt
, java_bytecode_parsert
- file_mapt
: language_filest
- find_type
: sharing_mapt< keyT, valueT, hashT, equalT >
- finished_sett
: goto_inlinet
- fkt_mapt
: local_may_alias_factoryt
- flatten_seent
: value_set_fit
, value_set_fivrt
- float_mapt
: interval_domaint
- freet
: mini_bdd_mgrt
- function_assignments_contextst
: interpretert
- function_assignmentst
: interpretert
- function_cachet
: qbf_bdd_certificatet
, qbf_squolem_coret
- function_call_resolvert
: remove_virtual_functionst
- function_mapt
: function_modifiest
, functionst
, goto_functionst
- function_may_throwt
: remove_exceptionst
- functions_donet
: flow_insensitive_analysis_baset
, static_analysis_baset
- functionst
: remove_const_function_pointerst
, remove_function_pointerst