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

- f -

f : check_call_sequencet::call_stack_entryt, check_call_sequencet::statet, filter_iteratort< iteratort >, ieee_float_spect, map_iteratort< iteratort, outputt >, mixd, mixf, mixl
f1 : arrayst::array_equalityt
f2 : arrayst::array_equalityt
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_crc32 : mz_zip_reader_extract_iter_state
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_stat : mz_zip_reader_extract_iter_state
file_stream : smt_incremental_dry_run_solvert
filename : bv_dimacst, 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, interval, 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, mz_zip_reader_extract_iter_state
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