- f -

• failures_hash : BddEnc
• fair_states : BddFsmCache
• fair_states_inputs : BddFsmCache
• family_counter : BddFsmCache , SexpFsm
• fb_heuristic : McCheckInvarOpts
• fifth : Tuple5
• file : StreamTypeArg
• filename : HrcDumperInfo
• fill : OAHash
• filter : SymbLayerIter , SymbTableIter
• finalize : Object
• first : Tuple5 , Pair , Triple
• first_frame : Trace
• first_free : Bmc_Stack_ptr
• FirstVisit : Dag_DfsFunctions_t , RbcDfsFunctions
• flatten : FlattenerBase
• floating : SubstValue
• formal_parameters : HrcNode
• format : SubstString
• forth : Tuple5
• fout : HrcDumper
• free_entry_fun : OAHash
• free_fun_arg : OAHash
• frozen : Tuple5 , Triple , Trace , Pair
• frozen_frame : Trace
• frozen_functions : HrcNode
• frozen_values : TraceFrozenFrame
• frozen_variables : HrcNode
• frozen_vars_add : BddEnc
• frozen_vars_bdd : BddEnc
• frozen_vars_num : BeEnc , BddEnc
• fsm : SATCompleteTraceExecutor , SATPartialTraceExecutor , BDDCompleteTraceExecutor , BDDPartialTraceExecutor
• fsm_mgr : Prop
• fsm_type : Prop_Rewriter
• func : NodeTransformation
• func_ptr : StreamTypeArg
• function : StreamTypeArg
• fwd_define_frame : TraceVarFrame