- f -

• F : PLA_t
• f : hashEntry , DdCache , MarkCacheKey
• fA : Sto_Cls_t_ , Pr_Cls_t_
• factors : sat_solver_t
• fAddStrash : Aig_Man_t_
• Fall : Abc_Time_t_ , Map_TimeStruct_t_
• Fan0 : Dar_LibObj_t_ , Ivy_Dec_t_ , Ivy_Eval_t_
• Fan1 : Ivy_Eval_t_ , Dar_LibObj_t_ , Ivy_Dec_t_
• Fan2 : Ivy_Dec_t_
• Fan3 : Ivy_Dec_t_
• Fan4 : Ivy_Dec_t_
• Fan5 : Ivy_Dec_t_
• fArea : If_Par_t_ , Res_Par_t_
• fAreaGain : Fpga_ManStruct_t_
• fAreaGlo : Fpga_ManStruct_t_
• fAreaOnly : If_Par_t_
• fAreaRecovery : Fpga_ManStruct_t_ , Map_ManStruct_t_
• fAuto : Rtm_Obj_t_
• fAutoexac : Abc_Frame_t_
• fBatchMode : Abc_Frame_t_
• fBddReorder : Prove_ParamsStruct_t_
• fBest : Dar_Cut_t_
• fBlackBox : Io_MvMod_t_
• fBlifMv : Io_MvMan_t_
• fCalledOnce : Lpk_Man_t_
• fCatchExor : Aig_Man_t_ , Hop_Man_t_ , Ivy_Man_t_
• fChange : MvCommand
• fCheck : Ver_Man_t_
• fChoicing : Fra_Par_t_ , Fraig_ParamsStruct_t_ , Fraig_ManStruct_t_
• fClauses : Fraig_NodeStruct_t_
• fCofactoring : Lpk_Man_t_
• fCompl : Dec_Edge_t_ , Ivy_Dec_t_ , Kit_Edge_t_ , Rwt_Man_t_ , If_Cut_t_ , Cut_CutStruct_t_ , Rwr_Man_t_
• fCompl0 : Rtm_Obj_t_ , Dar_LibObj_t_ , Dec_Node_t_ , Kit_Node_t_ , Abc_Obj_t_ , If_Obj_t_ , Cut_ManStruct_t_
• fCompl1 : Abc_Obj_t_ , If_Obj_t_ , Cut_ManStruct_t_ , Rtm_Obj_t_ , Dar_LibObj_t_ , Dec_Node_t_ , Kit_Node_t_
• fConeBias : Fra_Par_t_
• fConst : Dec_Graph_t_ , Kit_Graph_t_
• fConst0 : Res_Sim_t_
• fConst1 : Res_Sim_t_
• fDag : Cut_ParamsStruct_t_
• fDef : Io_BlifObj_t_
• fDelay : Res_Par_t_
• fDelayWindow : Fpga_ManStruct_t_
• fDist1Pats : Fraig_ParamsStruct_t_ , Fraig_ManStruct_t_
• fDoSparse : Fra_Par_t_ , Ivy_FraigParams_t_ , Fraig_ParamsStruct_t_ , Fraig_ManStruct_t_
• fDrop : Cut_ParamsStruct_t_
• fEpsilon : Fpga_ManStruct_t_ , If_Man_t_ , Map_ManStruct_t_
• fError : Io_ReadBlif_t_ , Ver_Man_t_
• fEssen : MvcCubeStruct
• fExclude : Map_SuperStruct_t_
• fExFan : Ivy_Obj_t_
• fExor : Rwt_Node_t_ , Abc_Obj_t_ , Rwr_Node_t_
• fExpRed : If_Par_t_
• fExtend : Dar_RefPar_t_
• fFailTfo : Ivy_Obj_t_ , Fraig_NodeStruct_t_
• fFancy : If_Par_t_ , Cut_ParamsStruct_t_
• fFanout : Dar_RwrPar_t_ , Ivy_Man_t_
• fFeedBack : Fraig_ParamsStruct_t_ , Fraig_ManStruct_t_
• fFeedUse : Fraig_NodeStruct_t_
• fFeedVal : Fraig_NodeStruct_t_
• fFilter : Cut_ParamsStruct_t_
• fFirst : Lpk_Par_t_
• fFuncRed : Fraig_ParamsStruct_t_ , Fraig_ManStruct_t_
• fGlobal : Cut_ParamsStruct_t_
• fHasDsd : Lpk_Cut_t_
• fHash : Hash_Flt_t_ , Hash_Int_t_ , Hash_Ptr_t_
• fHiePath : Abc_Ntk_t_
• fHieVisited : Abc_Ntk_t_
• filename : PLA_t
• findShortestPath : AssortedInfo
• fInternal : Fraig_ParamsStruct_t_
• fInv : Fpga_NodeStruct_t_ , Map_NodeStruct_t_ , Fraig_NodeStruct_t_
• fInvert : Map_NodeStruct_t_
• first : DdLevelQueue
• first_col : sm_row_struct , sm_matrix_struct
• first_part : cube_struct
• first_row : sm_col_struct , sm_matrix_struct
• first_word : cube_struct
• flag : sm_row_struct , sm_col_struct
• flags : Move , MtrNode
• fLatchCorr : Fra_Par_t_
• fLatchPaths : Fpga_ManStruct_t_ , If_Par_t_
• fLearned : Msat_Clause_t_
• fLevel : Fpga_CutStruct_t_
• fLi : Io_BlifObj_t_
• fLiftLeaves : If_Par_t_
• fLightweight : Sim_Man_t_
• fLo : Io_BlifObj_t_
• fLocal : Cut_ParamsStruct_t_
• fLoop : Io_BlifObj_t_
• fMap : Cut_ParamsStruct_t_
• fMapped : Ver_Man_t_
• fMappingMode : Map_ManStruct_t_
• fMark : Rtm_Obj_t_ , Ivy_Supp_t_ , Kit_DsdObj_t_ , Fpga_CutStruct_t_ , If_Obj_t_ , Map_CutStruct_t_ , Lpk_Cut_t_ , Lpk_Fun_t_ , Msat_Clause_t_
• fMark0 : Fpga_NodeStruct_t_ , Map_NodeStruct_t_ , Fraig_NodeStruct_t_
• fMark1 : Fpga_NodeStruct_t_ , Map_NodeStruct_t_ , Fraig_NodeStruct_t_
• fMark2 : Ivy_Supp_t_ , Fraig_NodeStruct_t_
• fMark3 : Fraig_NodeStruct_t_ , Ivy_Supp_t_
• fMarkA : Abc_Obj_t_ , Aig_Obj_t_ , Hop_Obj_t_ , Ivy_Obj_t_
• fMarkB : Abc_Obj_t_ , Aig_Obj_t_ , Hop_Obj_t_ , Ivy_Obj_t_
• fMarkC : Abc_Obj_t_
• fMffc : Dar_LibDat_t_
• fMinApl : _reo_man
• fMinWidth : _reo_man
• fNameLast : Ver_Man_t_
• fNextRound : If_Man_t_
• fNodeOr : Kit_Node_t_ , Dec_Node_t_
• fNodePo : Fraig_NodeStruct_t_
• fNonConstOut : Fra_Sml_t_
• fObeyFanoutLimits : Map_ManStruct_t_
• fOldAlgo : Lpk_Par_t_
• fOnlyD : FxuDataStruct
• fOnlyS : FxuDataStruct
• fPatScores : Ivy_FraigParams_t_ , Fra_Par_t_
• fPersist : Abc_Obj_t_
• fPhase : Aig_Obj_t_ , Dar_LibObj_t_ , Hop_Obj_t_ , Ivy_Obj_t_ , Abc_Obj_t_ , If_Obj_t_
• fPi : Io_BlifObj_t_
• fPo : Io_BlifObj_t_
• fPreprocess : If_Par_t_
• fPrime : MvcCubeStruct
• fProofVerif : Pr_Man_t_ , Int_Man_t_
• fProofWrite : Int_Man_t_ , Pr_Man_t_
• fProve : Ivy_FraigParams_t_ , Fra_Par_t_
• fRecord : Cut_ParamsStruct_t_
• freelist : DdLevelQueue
• fRefCount : Hop_Man_t_
• fRefinement : Fra_Cla_t_
• fRefining : Fra_Lcr_t_
• fRemapUp : _reo_man
• fRepr : If_Obj_t_
• fRequiredGain : Fpga_ManStruct_t_
• fRequiredGlo : Fpga_ManStruct_t_ , Map_ManStruct_t_
• fRequiredShift : Fpga_ManStruct_t_
• fRequiredStart : Fpga_ManStruct_t_
• fResynthesis : Fpga_ManStruct_t_
• fRewrite : Fra_Par_t_
• fRoot : Pr_Cls_t_ , Sto_Cls_t_
• fSatur : Ivy_Store_t_ , Lpk_Par_t_
• fSeq : Cut_ParamsStruct_t_
• fSeqMap : If_Par_t_
• fSifted : _reo_plane
• fSimul : Cut_ManStruct_t_ , Cut_CutStruct_t_ , Cut_OracleStruct_t_
• fSkipInv : Super_ManStruct_t_
• fSkipSimplify : sat_solver_t
• fSpeculate : Fra_Par_t_
• fStop : Extra_FileReader_t_ , Ver_Stream_t_
• fSuper : Super_GateStruct_t_ , Map_SuperStruct_t_
• fSupports : Lpk_Fun_t_
• fSwitching : Map_ManStruct_t_ , Fpga_ManStruct_t_
• fTemp : Fpga_NodeStruct_t_
• fTerm : Dar_LibObj_t_
• fThisIsAdd : _reo_man
• fTopLevel : Ver_Man_t_
• fTree : Cut_ParamsStruct_t_
• fTruth : Cut_ParamsStruct_t_ , If_Par_t_
• fTryProve : Fraig_ManStruct_t_ , Fraig_ParamsStruct_t_
• fTypeA : Msat_Clause_t_
• fullset : cube_struct
• functionRef : NodeData
• fUpdateLevel : Dar_RefPar_t_ , Abc_ManRst_t_ , Dar_RwrPar_t_
• fUse0 : FxuDataStruct
• fUseBdds : If_Par_t_ , Prove_ParamsStruct_t_
• fUseCnfs : If_Par_t_
• fUseCompl : FxuDataStruct
• fUsed : Rwt_Node_t_ , Map_NodeStruct_t_ , Fpga_NodeStruct_t_ , Dar_Cut_t_ , Rwr_Node_t_
• fUseFraiging : Prove_ParamsStruct_t_
• fUseImps : Fra_Par_t_
• fUseInt : Attr_ManStruct_t_
• fUseMemMan : Ver_Man_t_
• fUseMv : If_Par_t_
• fUsePerm : If_Par_t_
• fUser : If_Cut_t_
• fUseReset : Io_MvMan_t_
• fUseRewriting : Prove_ParamsStruct_t_
• fUseSops : If_Par_t_
• fUseZeros : Dar_RefPar_t_ , Abc_ManRst_t_ , Dar_RwrPar_t_
• fVar : Super_GateStruct_t_
• fVarPinDelays : Fpga_LutLibStruct_t_ , If_Lib_t_
• fVerbose : Csw_Man_t_ , Dar_RwrPar_t_ , Super_ManStruct_t_ , Fpga_ManStruct_t_ , Fraig_ManStruct_t_ , Prove_ParamsStruct_t_ , Cut_ParamsStruct_t_ , Fraig_ParamsStruct_t_ , FxuDataStruct , Ivy_FraigParams_t_ , Int_Man_t_ , Res_Par_t_ , _reo_man , Map_SuperLibStruct_t_ , Dsd_Manager_t_ , Bdc_Par_t_ , Fra_Lcr_t_ , Abc_ManRst_t_ , Fra_Par_t_ , Abc_ManRef_t_ , Msat_Solver_t_ , Odc_Man_t_ , If_Par_t_ , Map_ManStruct_t_ , Dar_RefPar_t_ , Lpk_Par_t_
• fVerboseP : Fraig_ManStruct_t_ , Fraig_ParamsStruct_t_
• fVerify : _reo_man
• fVeryVerbose : Bdc_Par_t_ , Odc_Man_t_ , Res_Par_t_ , Dar_RwrPar_t_ , Dar_RefPar_t_ , Lpk_Par_t_
• fVisit : Sto_Cls_t_ , If_Obj_t_ , Pr_Cls_t_
• fWriteImps : Fra_Par_t_
• fWriteOldFormat : Super_ManStruct_t_
• fZeroCost : Lpk_Par_t_