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

- f -

• f : arg_struct_f5i2, ieee_float_spect
• f_can_carry_provenance : typet
• f_location : typet
• f_subtype : typet
• f_subtypes : typet
• failed : property_countst
• false_arr_ast : array_convt::array_with
• false_asserted : minisat_convt
• false_value : if2t
• fault_injection : LdVerifyOptions
• fd : pollfd
• fds_bits : fd_set
• features : ssa_features
• feeds : GNode
• field : jimple_static_member, jimple_virtual_member
• field_name : code_contractst::ptr_deref_snapshot_t, code_contractst::ptr_field_snapshot_t
• field_names : address_of2t, array_type2t, bitcast2t, bool_type2t, byte_extract2t, byte_update2t, cmp_three_way2t, code_asm2t, code_assert2t, code_assign2t, code_assume2t, code_block2t, code_break2t, code_comma2t, code_continue2t, code_cpp_catch2t, code_cpp_throw2t, code_decl2t, code_dowhile2t, code_for2t, code_function_call2t, code_goto2t, code_ifthenelse2t, code_label2t, code_printf2t, code_skip2t, code_switch2t, code_switch_case2t, code_type2t, code_while2t, complex_type2t, concat2t, constant_array2t, constant_array_of2t, constant_bool2t, constant_fixedbv2t, constant_floatbv2t, constant_int2t, constant_string2t, constant_struct2t, constant_union2t, constant_vector2t, cpp_name_type2t, dereference2t, dynamic_object2t, empty_type2t, exists2t, extract2t, fixedbv_type2t, floatbv_type2t, forall2t, ieee_fma2t, ieee_sqrt2t, if2t, index2t, invalid_pointer2t, member2t, member_ref2t, nearbyint2t, new_object2t, not2t, object_descriptor2t, overflow2t, overflow_cast2t, overflow_neg2t, pointer_offset2t, pointer_type2t, ptr_mem2t, same_object2t, sideeffect2t, sideeffect_assign2t, signedbv_type2t, sizeof2t, struct_type2t, symbol2t, symbol_type2t, typecast2t, uninterpreted_func2t, union_type2t, unsignedbv_type2t, vector_type2t, with2t
• field_type : code_contractst::ptr_field_snapshot_t
• field_width : format_tokent
• fields : address_of2t, array_type2t, bitcast2t, bool_type2t, byte_extract2t, byte_update2t, cmp_three_way2t, code_asm2t, code_assert2t, code_assign2t, code_assume2t, code_block2t, code_break2t, code_comma2t, code_continue2t, code_cpp_catch2t, code_cpp_throw2t, code_decl2t, code_dowhile2t, code_for2t, code_function_call2t, code_goto2t, code_ifthenelse2t, code_label2t, code_printf2t, code_skip2t, code_switch2t, code_switch_case2t, code_type2t, code_while2t, complex_type2t, concat2t, constant_array2t, constant_array_of2t, constant_bool2t, constant_fixedbv2t, constant_floatbv2t, constant_int2t, constant_string2t, constant_struct2t, constant_union2t, constant_vector2t, cpp_name_type2t, dereference2t, dynamic_object2t, empty_type2t, exists2t, extract2t, fixedbv_type2t, floatbv_type2t, forall2t, ieee_fma2t, ieee_sqrt2t, if2t, index2t, invalid_pointer2t, member2t, member_ref2t, nearbyint2t, new_object2t, not2t, object_descriptor2t, overflow2t, overflow_cast2t, overflow_neg2t, pointer_offset2t, pointer_type2t, preprocessor.namedtuple_lowering._Lowering, ptr_mem2t, same_object2t, sideeffect2t, sideeffect_assign2t, signedbv_type2t, sizeof2t, struct_type2t, symbol2t, symbol_type2t, typecast2t, uninterpreted_func2t, union_type2t, unsignedbv_type2t, vector_type2t, with2t
• file : dead_code_finding_t, dead_store_advisoryt, invariant, LdLocation, property_locationt, property_rowt, waypoint
• file_local : symbolt
• filename : goto_coveraget, parsert
• first : chained_subarray_literal_indices, utf8_buffered_reader
• first_loop : goto_symext
• fixed_receivers : preprocessor.class_context_mixin.ClassContextMixin, preprocessor.module_rewrite_mixin.ModuleRewriteMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• fixpoint_limit : interval_domaint
• flagged : preprocessor.unbound_locals._Rewriter
• flags : c_expr2stringt, cbmc_symbolt, format_tokent, formatter_config, table
• flat : tuple_node_smt_ast
• flatten_count : smt_solver_baset
• flattened : smt_solver_baset
• flavor : configt::triple
• flip_negative : numpy_nditer_state
• flipped : numpy_nditer_state
• flipped_guard : goto_programt::instructiont
• float_idx : __ESBMC_PyObj
• float_info : sys._FloatInfo
• float_val : PyConstValue
• fm : clang_c_lexert::LexerContext
• focus_func : solidity_convertert
• focus_func_name : solidity_languaget
• for_pop_at : scope_walker
• forall_defs_ : smt_solver_baset
• forces : configt::ansi_ct
• format : cudnnfilterdesc, cudnntensordesc, invariant, printf_formattert, waypoint
• format_pos : printf_formattert
• format_string : goto_trace_stept, symex_target_equationt::SSA_stept::output_datat
• forward_condition : goto_symext
• fp_api : smt_solver_baset
• fraction : floatbv_type2t, ieee_floatt
• FREE : dereferencet
• fresh : preprocessor.check_type_lowering._Lowering
• fresh_map : smt_solver_baset
• from : bitcast2t, extract2t, jimple_cast, jimple_lengthof, jimple_static_member, jimple_virtual_member, nearbyint2t, transcendental::piece, typecast2t
• from_imports : preprocessor.function_value_types._Analysis
• from_is_fresh : code_contractst::param_extentt
• from_node : edget
• frontend_opts : configt::ansi_ct
• fs_opts : clang_c_lexert::LexerContext
• full_prefix : parse_integer_traits< 10 >, parse_integer_traits< 16 >, parse_integer_traits< 2 >, parse_integer_traits< 8 >
• fun_decls : goto2ct
• func : __pthread_start_data, arg_struct1, arg_struct1_ui, arg_struct2, arg_struct2_i, arg_struct, arg_struct_c3, arg_struct_d1, arg_struct_d2, arg_struct_f5i2, arg_struct_ffloat, arg_struct_fint, arg_struct_float, arg_struct_fuint, arg_struct_fuintint, arg_struct_fuintt, arg_struct_i_ui_ull_f, arg_struct_intt, arg_struct_iuull, arg_struct_no_params, arg_struct_u1, arg_struct_u2, arg_struct_u3, python_list::list_eq_target, python_list::shallow_push_call
• func_name : solidity_languaget
• func_scope : preprocessor.generator_mixin._GeneratorConsumerScan
• funcSignatures : solidity_convertert
• function : andersent::indirect_callt, code_function_call2t, goto_programt::instructiont, invariant, parsert, property_locationt, property_rowt, stack_framet, waypoint
• function_id : waypoint
• function_id_ : function_call_expr
• function_identifier : goto_symex_statet::framet
• function_loops : goto_loopst
• function_map : goto_functionst
• function_name : goto_loopst, uninterpreted_func2t
• function_ptr_call_loc : goto_symex_statet::framet
• function_ptr_combine_target : goto_symex_statet::framet
• function_return_annotations : preprocessor.loop_mixin.LoopMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• function_summary_cache : goto_loopst
• function_type_ : function_call_expr
• function_unwind : goto_symex_statet
• functionDefaults : preprocessor.core_visitors_mixin.CoreVisitorsMixin, preprocessor.module_lifecycle_mixin.ModuleLifecycleMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• functionKwonlyParams : preprocessor.module_lifecycle_mixin.ModuleLifecycleMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• functionParams : preprocessor.core_visitors_mixin.CoreVisitorsMixin, preprocessor.module_lifecycle_mixin.ModuleLifecycleMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• functions : cbmc_adapted_resultt, cbmc_parse_resultt, goto_convert_functionst, preprocessor.function_value_dispatch._Plan
• functions_done : static_analysis_baset
• functionVarargs : preprocessor.core_visitors_mixin.CoreVisitorsMixin, preprocessor.module_lifecycle_mixin.ModuleLifecycleMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• functools_module_names : preprocessor.expression_rewrite_mixin.ExpressionRewriteMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• functools_reduce_names : preprocessor.expression_rewrite_mixin.ExpressionRewriteMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin