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

- f -

• f_get() : qbf_bdd_certificatet, qbf_qube_coret, qbf_squolem_coret, qdimacs_coret
• f_get_cnf() : qbf_squolem_coret
• f_get_dnf() : qbf_squolem_coret
• factorial_power_exprt() : factorial_power_exprt
• factory() : goto_harness_generator_factoryt
• factoryt() : smt_function_application_termt::factoryt< functiont >
• faint() : consolet
• False() : mini_bdd_mgrt
• false_case() : if_exprt
• false_exprt() : false_exprt
• fence_value() : abstract_eventt
• field_address_exprt() : field_address_exprt
• field_assignments() : field_sensitivityt
• field_assignments_rec() : field_sensitivityt
• field_sensitive() : value_sett
• field_sensitive_ssa_exprt() : field_sensitive_ssa_exprt
• field_sensitivityt() : field_sensitivityt
• field_type() : field_address_exprt
• fieldref_exprt() : fieldref_exprt
• fieldt() : java_bytecode_parse_treet::fieldt
• file_filtert() : file_filtert
• file_name_manglert() : file_name_manglert
• file_to_class_name() : java_class_loader_baset
• filenames() : jar_filet
• filter() : cpp_typecheck_resolvet, ranget< iteratort >
• filter_for_named_scopes() : cpp_typecheck_resolvet
• filter_for_namespaces() : cpp_typecheck_resolvet
• filter_iteratort() : filter_iteratort< iteratort >
• filter_thin_air() : event_grapht::graph_explorert
• filtering() : event_grapht::graph_conc_explorert, event_grapht::graph_explorert
• final() : java_bytecode_languaget, language_filest, languaget
• final_result() : verification_resultt
• final_update_properties() : single_path_symex_only_checkert
• finalize() : ai_baset, dependence_grapht, lazy_goto_modelt, variable_sensitivity_dependence_grapht
• find() : array_poolt, cfg_baset< T, P, I >::entry_mapt, fixed_keys_map_wrappert< mapt >, forward_list_as_mapt< keyt, mappedt >, irep_hash_mapt< Key, T >, irept, json_objectt, sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >, small_mapt< T, Ind, Num >, sparse_vectort< T >, union_find< T, hasht >, union_find_replacet, unsigned_union_find, value_set_fit::object_map_dt, xmlt
• find_annotation() : java_bytecode_parse_treet
• find_assignop() : cpp_typecheckt
• find_back_jump() : acceleratet
• find_child() : sharing_nodet< keyT, valueT, equalT >
• find_cpctor() : cpp_typecheckt
• find_dirty() : dirtyt
• find_dirty_address_of() : dirtyt
• find_distinguishing_points() : disjunctive_polynomial_accelerationt, sat_path_enumeratort
• find_dstate() : trace_automatont
• find_dtor() : cpp_typecheckt
• find_dynamic_allocation() : gdb_value_extractort
• find_entry() : value_sett
• find_equal_cluster() : recursive_initializationt
• find_equations() : equation_symbol_mappingt
• find_expr() : exprt
• find_expressions() : equation_symbol_mappingt
• find_first_corresponding_instruction() : memory_snapshot_harness_generatort::entry_goto_locationt, memory_snapshot_harness_generatort::entry_source_locationt
• find_first_set_exprt() : find_first_set_exprt
• find_formatter() : format_expr_configt
• find_functions_that_contain_name_snippet() : aggressive_slicert
• find_head() : dfcc_loop_infot
• find_initializers() : java_bytecode_convert_methodt
• find_initializers_for_slot() : java_bytecode_convert_methodt
• find_is_fresh_calls_visitort() : find_is_fresh_calls_visitort
• find_last_statement() : code_blockt
• find_latch() : dfcc_loop_infot
• find_leaf() : sharing_nodet< keyT, valueT, equalT >
• find_library() : compilet
• find_modified() : acceleration_utilst
• find_next() : dott, small_mapt< T, Ind, Num >::const_iterator
• find_number() : union_find< T, hasht >
• find_parent() : cpp_typecheckt
• find_path() : disjunctive_polynomial_accelerationt
• find_paths() : acceleratet
• find_quantifier() : qdimacs_cnft
• find_second_event() : event_grapht::graph_pensieve_explorert
• find_source_location() : exprt
• find_symbols() : smt2_convt
• find_symbols_rec() : smt2_convt
• find_type() : typet
• find_universal_exception() : remove_exceptionst
• find_variable_for_slot() : java_bytecode_convert_methodt
• find_widest_union_component() : union_typet
• finish_computed_gotos() : goto_convertt
• finish_eager_conversion() : arrayst, boolbvt, bv_pointers_widet, bv_pointerst, equalityt, functionst, prop_conv_solvert
• finish_eager_conversion_arrays() : arrayst, bv_refinementt
• finish_eager_conversion_quantifiers() : boolbvt
• finish_gotos() : goto_convertt
• finished() : solver_progresst
• first() : abstract_object_sett
• first_statement() : codet
• fit_const() : polynomial_acceleratort
• fit_polynomial() : disjunctive_polynomial_accelerationt, polynomial_acceleratort
• fit_polynomial_sliced() : polynomial_acceleratort
• fix_calls() : dfcc_lift_memory_predicatest
• fix_malloc_free_calls() : dfcc_libraryt
• fix_objectives() : prop_minimizet
• fix_types() : overflow_instrumentert, scratch_programt
• fixed_keys_map_wrappert() : fixed_keys_map_wrappert< mapt >
• fixedbv_spect() : fixedbv_spect
• fixedbv_typet() : fixedbv_typet
• fixedbvt() : fixedbvt
• fixedpoint() : ai_baset, cfg_dominators_templatet< P, T, post_dom >, concurrency_aware_ait< domainT >, flow_insensitive_analysis_baset, full_slicert, points_tot
• fixedpoint_from_assertions() : reachability_slicert
• fixedpoint_to_assertions() : reachability_slicert
• flag_overridet() : flag_overridet
• flagst() : local_bitvector_analysist::flagst
• flatten() : value_set_fit
• flatten2bv() : smt2_convt
• flatten_array() : smt2_convt
• flatten_rec() : value_set_fit
• float_approximationt() : float_approximationt
• float_div_by_zero_check() : goto_check_ct
• float_overflow_check() : goto_check_ct
• float_utilst() : float_utilst
• floatbv_mod_exprt() : floatbv_mod_exprt
• floatbv_rem_exprt() : floatbv_rem_exprt
• floatbv_round_to_integral_exprt() : floatbv_round_to_integral_exprt
• floatbv_suffix() : smt2_convt
• floatbv_typecast_exprt() : floatbv_typecast_exprt
• floatbv_typet() : floatbv_typet
• flow_insensitive_abstract_domain_baset() : flow_insensitive_abstract_domain_baset
• flow_insensitive_analysis_baset() : flow_insensitive_analysis_baset
• flow_insensitive_analysist() : flow_insensitive_analysist< T >
• fltmax() : ieee_float_valuet
• fltmin() : ieee_float_valuet
• flush() : api_message_handlert, console_message_handlert, inlining_decoratort, message_handlert, null_message_handlert, smt2_message_handlert, stream_message_handlert, ui_message_handlert
• flush_read() : shared_bufferst
• follow_epsilon_transitions() : nfat< T >
• follow_macros() : namespace_baset
• follow_tag() : namespace_baset
• follow_with_qualifiers() : c_typecastt
• for_each_dependency() : string_dependenciest
• for_each_node() : string_dependenciest
• for_each_predecessor() : grapht< N >
• for_each_successor() : grapht< N >, string_dependenciest
• forall_exprt() : forall_exprt
• forall_states_expr() : state_encodingt
• force() : lazyt< valuet >
• format() : bv_arithmetict, fixedbvt, ieee_float_valuet, linear_functiont
• format_callsites() : call_grapht
• format_containert() : format_containert< T >
• format_elementt() : format_elementt
• format_expr_configt() : format_expr_configt
• format_specifiert() : format_specifiert
• format_spect() : format_spect
• format_textt() : format_textt
• format_tokent() : format_tokent
• forward_inwards_walk_from() : reachability_slicert
• forward_list_as_mapt() : forward_list_as_mapt< keyt, mappedt >
• forward_outwards_walk_from() : reachability_slicert
• forward_walk_call_instruction() : reachability_slicert
• fraction_all_zeros() : float_bvt, float_utilst
• fraction_rounding_decision() : float_bvt, float_utilst
• frame_reft() : frame_reft
• framet() : framet
• free_cluster_origins() : recursive_initializationt
• free_if_possible() : recursive_initializationt
• freeze_lazy_constraints() : bv_refinementt
• frequencies() : frequency_mapt
• frequency_mapt() : frequency_mapt
• fresh_binding() : boolbvt
• fresh_string() : array_poolt, java_string_library_preprocesst
• fresh_symbol() : acceleration_utilst
• fresh_symbol_copy() : memory_snapshot_harness_generatort
• from_base10() : ieee_floatt
• from_bytes() : memory_sizet
• from_dimacs() : literalt
• from_double() : ieee_float_valuet
• from_entry_point_of() : symex_bmc_incremental_one_loopt
• from_expr() : ansi_c_languaget, bdd_exprt, bv_arithmetict, cpp_languaget, fixedbvt, ieee_float_valuet, java_bytecode_languaget, languaget, polynomialt, statement_list_languaget
• from_expr_rec() : bdd_exprt
• from_float() : ieee_float_valuet
• from_fun() : lazyt< valuet >
• from_handler_object() : lazy_goto_modelt
• from_index_bounds() : code_fort
• from_integer() : bv_arithmetict, fixedbvt, ieee_floatt
• from_json() : function_pointer_restrictionst
• from_list() : code_blockt
• from_options() : function_pointer_restrictionst, vsd_configt
• from_read() : memory_model_sct
• from_signed_integer() : float_bvt, float_utilst
• from_type() : ansi_c_languaget, bv_spect, cpp_languaget, ieee_float_spect, java_bytecode_languaget, languaget, statement_list_languaget
• from_unsigned_integer() : float_bvt, float_utilst
• front() : designatort, event_grapht::critical_cyclet
• full_adder() : bv_utilst
• full_array_abstract_objectt() : full_array_abstract_objectt
• full_array_merge() : full_array_abstract_objectt
• full_eq() : irept
• full_hash() : irept
• full_member_initialization() : cpp_typecheckt
• full_name() : new_scopet
• full_path() : source_locationt
• full_struct_abstract_objectt() : full_struct_abstract_objectt
• full_type() : ansi_c_declarationt
• function() : code_function_callt, function_application_exprt, side_effect_expr_function_callt
• function_application() : smt2_parsert
• function_application_exprt() : function_application_exprt
• function_application_fp() : smt2_parsert
• function_application_ieee_float_eq() : smt2_parsert
• function_application_ieee_float_op() : smt2_parsert
• function_assignst() : function_assignst
• function_binding_visitort() : function_binding_visitort
• function_blockt() : statement_list_parse_treet::function_blockt
• function_body_count() : compilet
• function_call() : state_encodingt, symex_target_equationt, symex_targett
• function_call_harness_generatort() : function_call_harness_generatort
• function_call_symbol() : state_encodingt
• function_calls() : functions_in_scope_visitort
• function_cfg_infot() : function_cfg_infot
• function_contract_clauset() : c_wranglert::function_contract_clauset
• function_identifier() : cpp_typecheckt, smt_function_application_termt
• function_indicest() : function_indicest
• function_loc_pairt() : function_loc_pairt
• function_name_manglert() : function_name_manglert< MangleFun >
• function_or_callees_may_throw() : remove_exceptionst
• function_return() : symex_target_equationt, symex_targett
• function_signature_declaration() : smt2_parsert
• function_signature_definition() : smt2_parsert
• function_sort() : smt2_parsert
• function_symbol_exists() : dfcc_utilst
• function_symbol_with_body_exists() : dfcc_utilst
• function_template_identifier() : cpp_typecheckt
• function_type() : function_application_exprt
• functions_in_scope_visitort() : functions_in_scope_visitort
• functionst() : functionst
• functiont() : statement_list_parse_treet::functiont