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

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

_

- f -

• f : check_call_sequencet::call_stack_entryt, check_call_sequencet::statet, filter_iteratort< iteratort >, ieee_float_spect, map_iteratort< iteratort, outputt >
• f1 : arrayst::array_equalityt
• f2 : arrayst::array_equalityt
• f_mode : file
• f_pos : file
• factory : language_entryt, recursive_enumerator_placeholdert
• failed : counterexample_beautificationt
• faint : messaget
• fallback : format_expr_configt
• false_bdd : mini_bdd_mgrt
• false_histories : static_verifier_resultt
• false_string : expr2c_configurationt
• false_taken : goto_program_coverage_recordt::coverage_conditiont
• fault_locations : all_properties_verifier_with_fault_localizationt< incremental_goto_checkerT >
• fc_bit : statement_list_typecheckt
• fc_false_required : statement_list_typecheckt::stl_label_locationt
• field_sensitivity : goto_symex_statet
• field_width : format_tokent
• fields : java_bytecode_parse_treet::classt, shadow_memory_statet
• file : invariant_failedt, language_modulet, xml_graph_nodet
• file_id : file_filtert
• file_local_mangle_suffix : compilet
• file_map : language_filest
• file_name : goto_program_coverage_recordt, memory_snapshot_harness_generatort::entry_source_locationt
• file_stream : smt_incremental_dry_run_solvert
• filename : cpp_tokent, language_filet, preprocessort
• filter : event_grapht::graph_conc_explorert
• filter_thin_air : event_grapht
• filter_uniproc : event_grapht
• filters : function_filterst, goal_filterst
• final_identifier : cpp_declarator_convertert
• final_states : levenshtein_automatont
• final_type : cpp_declarator_convertert
• finished_set : goto_inlinet
• first : event_grapht::critical_cyclet::delayt, json_streamt, solver_progresst
• first_begin : concat_iteratort< first_iteratort, second_iteratort >, zip_iteratort< first_iteratort, second_iteratort, same_size >
• first_clause_id : clauset
• first_column_width : help_formattert
• first_end : concat_iteratort< first_iteratort, second_iteratort >, zip_iteratort< first_iteratort, second_iteratort, same_size >
• first_loc : state_encodingt
• fixed : disjunctive_polynomial_accelerationt, prop_minimizet::objectivet, sat_path_enumeratort
• fixedbv_cnt : ansi_c_convert_typet
• fkt : mini_bdd_applyt
• fkt_map : local_may_alias_factoryt
• flag : format_specifiert
• flags : format_tokent
• flags_to_reset : flag_overridet
• flavor : gcc_versiont
• float16_type : ansi_c_parsert, configt::ansi_ct
• float_cnt : ansi_c_convert_typet
• float_map : interval_domaint
• floatbv_cnt : ansi_c_convert_typet
• flow_sensitivity : variable_sensitivity_domaint, vsd_configt
• flush_delayed : shared_bufferst::varst
• follow_compounds : dump_c_configurationt
• for_has_scope : ansi_c_parsert, configt::ansi_ct
• forbidden : file_name_manglert
• format : bytecode_infot, document_propertiest, printf_formattert
• format_pos : printf_formattert
• format_string : goto_trace_stept, SSA_stept, string_format_builtin_functiont
• formatted : goto_trace_stept, SSA_stept
• fp16_type : ansi_c_parsert, configt::ansi_ct
• fr_rf_counter : instrumentert::cfg_visitort
• fraction : float_bvt::unpacked_floatt, float_utilst::unpacked_floatt, ieee_float_valuet
• fraction_width : ansi_c_convert_typet
• frame : propertyt, propertyt::trace_statet, workt
• free : mini_bdd_mgrt
• freeze_all : prop_conv_solvert
• fresh_car : __CPROVER_contracts_ptr_pred_ctx_t
• fresh_l2_name_provider : goto_symex_statet
• fresh_symbol : array_poolt, string_constraint_generatort
• from_function : value_set_fit
• from_heap_alloc : instrument_spec_assignst
• from_spec_assigns : instrument_spec_assignst
• from_stack_alloc : instrument_spec_assignst
• from_static_local : instrument_spec_assignst
• from_target_index : value_set_fit
• from_term : sort_based_cast_to_bit_vector_convertert
• from_type : sort_based_cast_to_bit_vector_convertert
• fspec : format_elementt
• fstring : format_elementt
• full : irep_hash_container_baset
• full_args : cpp_typecheck_resolvet::matcht
• full_equation_generated : single_loop_incremental_symex_checkert
• full_lhs : goto_trace_stept
• full_lhs_value : goto_trace_stept
• full_template_args : cpp_typecheckt::instantiationt
• fun_id : is_fresh_baset
• func_name : goto_program2codet
• function : call_grapht::function_nodet, cprover_library_entryt, function_call_harness_generatort::implt, goto_inlinet::goto_inline_logt::goto_inline_log_infot, interpretert, invariant_failedt, rw_range_set_value_sett, smt_function_application_termt::factoryt< functiont >
• function_application : string_builtin_function_with_no_evalt
• function_argument_to_associated_array_size : function_call_harness_generatort::implt
• function_arguments : goto_trace_stept
• function_arguments_to_treat_as_arrays : function_call_harness_generatort::implt
• function_arguments_to_treat_as_cstrings : function_call_harness_generatort::implt
• function_arguments_to_treat_equal : function_call_harness_generatort::implt
• function_assigns : havoc_loopst
• function_blocks : statement_list_parse_treet
• function_cache : dfcc_instrumentt, qbf_bdd_certificatet, qbf_squolem_coret
• function_call : dfcc_wrapper_programt
• function_calls : dott
• function_code : statement_list_typecheckt::nesting_stack_entryt
• function_contract : c_wranglert::functiont
• function_filters : cover_configt
• function_frame : goto_symex_statet::threadt
• function_id : _rw_set_loct, abstract_eventt, dfcc_cfg_infot, full_slicert::cfg_nodet, goto_model_functiont, goto_symex_statet::threadt, goto_trace_stept, instrument_spec_assignst, k_inductiont, loop_idt, object_factory_parameterst, reachability_slicert::slicer_entryt, single_function_filtert, static_verifier_resultt, symex_targett::sourcet
• function_identifier : framet, state_encodingt, taint_parse_treet::rulet
• function_indices : function_indicest
• function_input_vars : interpretert
• function_is_hidden : goto_functiont
• function_it : function_loc_pairt
• function_map : function_assignst, functionst, goto_functionst
• function_may_throw : remove_exceptionst
• function_name : memory_snapshot_harness_generatort::entry_goto_locationt, memory_snapshot_harness_generatort::entry_locationt, memory_snapshot_harness_generatort::source_location_matcht
• function_numbering : value_set_fit
• function_parameter_to_associated_array_size : function_call_harness_generatort::implt
• function_parameters_to_treat_as_arrays : function_call_harness_generatort::implt
• function_parameters_to_treat_as_cstrings : function_call_harness_generatort::implt
• function_parameters_to_treat_equal : function_call_harness_generatort::implt
• function_pointer_contracts : dfcc_wrapper_programt, dfcct
• function_pointer_removal_done : goto_instrument_parse_optionst
• function_set : find_is_fresh_calls_visitort, functions_in_scope_visitort
• functions : boolbvt, c_wranglert, contracts_wranglert, instrument_spec_assignst, scratch_programt, statement_list_parse_treet
• functions_done : flow_insensitive_analysis_baset
• functions_met : instrumentert::cfg_visitort
• functions_to_keep : aggressive_slicert