Here is a list of all struct and union fields with links to the structures/unions they belong to:

- f -

• failures_hash : BddEnc
• fair_states : BddFsmCache
• fair_states_inputs : BddFsmCache
• FairnessList_begin() : FairnessList
• FairnessList_create() : FairnessList
• FairnessList_is_empty() : FairnessList
• family_counter : SexpFsm , BddFsmCache
• fb_heuristic : McCheckInvarOpts
• fifth : Tuple5
• file : StreamTypeArg
• filename : HrcDumperInfo
• fill : OAHash
• filter : SymbLayerIter , SymbTableIter
• finalize : Object
• first : Pair , Triple , Tuple5
• first_frame : Trace
• first_free : Bmc_Stack_ptr
• FirstVisit : Dag_DfsFunctions_t , RbcDfsFunctions
• FlatHierarchy_add_constant_constrains() : FlatHierarchy_ptr
• FlatHierarchy_add_constrains() : FlatHierarchy_ptr
• FlatHierarchy_calculate_vars_constrains() : FlatHierarchy_ptr
• FlatHierarchy_clear_constants_associations() : FlatHierarchy_ptr
• FlatHierarchy_clear_var_expr_associations() : FlatHierarchy_ptr
• FlatHierarchy_copy() : FlatHierarchy_ptr
• FlatHierarchy_create() : FlatHierarchy_ptr
• FlatHierarchy_create_from_members() : FlatHierarchy_ptr
• FlatHierarchy_destroy() : FlatHierarchy_ptr
• FlatHierarchy_get_constants_associations() : FlatHierarchy_ptr
• FlatHierarchy_get_environment() : FlatHierarchy_ptr
• FlatHierarchy_get_ordered_vars() : FlatHierarchy_ptr
• FlatHierarchy_get_symb_table() : FlatHierarchy_ptr
• FlatHierarchy_get_var_expr_associations() : FlatHierarchy_ptr
• FlatHierarchy_insert_assign() : FlatHierarchy_ptr
• FlatHierarchy_lookup_assign() : FlatHierarchy_ptr
• FlatHierarchy_lookup_constant_constrains() : FlatHierarchy_ptr
• FlatHierarchy_lookup_constrains() : FlatHierarchy_ptr
• FlatHierarchy_mergeinto() : FlatHierarchy_ptr
• FlatHierarchy_remove_var() : FlatHierarchy_ptr
• FlatHierarchy_self_check() : FlatHierarchy_ptr
• FlatHierarchy_set_constants_associations() : FlatHierarchy_ptr
• FlatHierarchy_set_symb_table() : FlatHierarchy_ptr
• FlatHierarchy_set_var_expr_associations() : FlatHierarchy_ptr
• FlatHierarchy_type_check() : FlatHierarchy_ptr
• flatten : FlattenerBase
• flattener_base_deinit() : FlattenerBase
• flattener_base_flatten() : FlattenerBase
• flattener_base_init() : FlattenerBase
• flattener_base_throw_flatten() : FlattenerBase
• flattener_core_deinit() : FlattenerCore
• flattener_core_flatten() : FlattenerCore
• flattener_core_init() : FlattenerCore
• FlattenerBase_create() : FlattenerBase
• FlattenerBase_flatten() : FlattenerBase
• FlattenerCore_create() : FlattenerCore
• floating : SubstValue
• formal_parameters : HrcNode
• format : SubstString
• formula_dependency_deinit() : FormulaDependency
• formula_dependency_get_definition_dependencies() : FormulaDependency
• formula_dependency_get_dependencies() : FormulaDependency
• formula_dependency_get_hash() : FormulaDependency
• formula_dependency_init() : FormulaDependency
• FormulaDependency_create() : FormulaDependency
• FormulaDependency_destroy() : FormulaDependency
• FormulaDependency_formulae_get_dependencies() : FormulaDependency
• FormulaDependency_formulae_get_dependencies_by_type() : FormulaDependency
• FormulaDependency_get_dependencies() : FormulaDependency
• FormulaDependency_get_dependencies_by_type() : FormulaDependency
• forth : Tuple5
• fout : HrcDumper
• free_entry_fun : OAHash
• free_fun_arg : OAHash
• frozen : Pair , Triple , Tuple5 , Trace
• frozen_frame : Trace
• frozen_functions : HrcNode
• frozen_values : TraceFrozenFrame
• frozen_variables : HrcNode
• frozen_vars_add : BddEnc
• frozen_vars_bdd : BddEnc
• frozen_vars_num : BddEnc , BeEnc
• fsm : SATCompleteTraceExecutor , BDDPartialTraceExecutor , BDDCompleteTraceExecutor , SATPartialTraceExecutor
• fsm_mgr : Prop
• fsm_type : Prop_Rewriter
• FsmBuilder_clusterize_expr() : FsmBuilder
• FsmBuilder_create() : FsmBuilder
• FsmBuilder_create_bdd_fsm() : FsmBuilder
• FsmBuilder_create_bdd_fsm_of_vars() : FsmBuilder
• FsmBuilder_create_boolean_sexp_fsm() : FsmBuilder
• FsmBuilder_create_scalar_sexp_fsm() : FsmBuilder
• FsmBuilder_destroy() : FsmBuilder
• func : NodeTransformation
• func_ptr : StreamTypeArg
• function : StreamTypeArg
• fwd_define_frame : TraceVarFrame