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

- f -

• f : bz2file , DdCache , DdHook
• F : Gia_ObjAre_t_
• f : hashEntry , MarkCacheKey
• F : PLA_t
• f : qps_problem
• fA : Pr_Cls_t_ , Sto_Cls_t_
• fAbs : Gla_Obj_t_
• factors : sat_solver_t
• fAddBufs : SC_BusPars_
• fAdded : Vta_Obj_t_
• fAddLayer : Abs_Par_t_
• fAddOrCla : Jf_Par_t_
• fAddStrash : Aig_Man_t_ , Gia_Man_t_
• fAdjust : Cut_ParamsStruct_t_
• fADratio : Amap_Par_t_
• Fall : Abc_Time_t_ , Map_TimeStruct_t_
• fall : SC_Pair_
• fall_cap : SC_Pin_
• False : Abc_ZddObj_
• Fan : Amap_Obj_t_ , Str_Edg_t_
• Fan0 : Dar_LibObj_t_ , Ivy_Dec_t_ , Ivy_Eval_t_
• Fan1 : Dar_LibObj_t_ , Ivy_Dec_t_ , Ivy_Eval_t_
• Fan2 : Ivy_Dec_t_
• Fan3 : Ivy_Dec_t_
• Fan4 : Ivy_Dec_t_
• Fan5 : Ivy_Dec_t_
• fAnd : Gla_Obj_t_
• FanDel : Str_Edg_t_
• Fanins : Au_Obj_t_ , Gla_Obj_t_ , Ifn_Obj_t_ , Wlc_Obj_t_
• FaninSig : Iso_Obj_t_
• Fanios : Cof_Obj_t_ , Emb_Obj_t_ , Frc_Obj_t_ , Gli_Obj_t_
• FanoutSig : Iso_Obj_t_
• Fans : Amap_Cut_t_
• fAppend : Ssc_Pars_t_
• fArea : If_Par_t_ , Mfs_Par_t_ , Res_Par_t_ , Sfm_Par_t_
• fAreaGain : Fpga_ManStruct_t_
• fAreaGlo : Fpga_ManStruct_t_
• fAreaInv : Amap_Man_t_
• fAreaOnly : Cgt_Par_t_ , If_Par_t_ , Jf_Par_t_
• fAreaRecovery : Fpga_ManStruct_t_ , Map_ManStruct_t_
• fAssign : Tas_Var_t_
• fAuto : Rtm_Obj_t_
• fAutoexac : Abc_Frame_t_
• fBackward : Gia_ParLlb_t_
• fBasic : Bmc_ParFf_t_
• fBatchMode : Abc_Frame_t_
• fBddReorder : Prove_ParamsStruct_t_
• fBest : Dar_Cut_t_ , Nf_Mat_t_
• fBidec : If_Par_t_
• fBlack : If_Box_t_ , Tim_Box_t_
• fBlackBox : Io_MvMod_t_
• fBlifMv : Io_MvMan_t_
• fBooleanMatching : saucy
• fBox : Bbl_Obj_t_
• fBridgeMode : Abc_Frame_t_
• fBufPis : Buf_Man_t_ , SC_BusPars_
• fc : ct_data_s
• fCalledOnce : Lpk_Man_t_
• fCallProver : Abs_Par_t_
• fCascade : Ifif_Par_t_
• fCatchExor : Aig_Man_t_ , Hop_Man_t_ , Ivy_Man_t_
• fChange : MvCommand
• fCheck : Ver_Man_t_
• fCheckKstep : Inter_ManParams_t_
• fCheckMiter : Cec_ParFra_t_ , Cec_ParSat_t_ , Cec_ParSim_t_ , Cec_ParSmf_t_ , Fsim_ParSim_t_ , Gia_ParSim_t_
• fChoicing : Fra_Par_t_ , Fraig_ManStruct_t_ , Fraig_ParamsStruct_t_
• fCi : Bbl_Obj_t_ , Emb_Obj_t_ , Frc_Obj_t_
• fClauses : Fraig_NodeStruct_t_
• fCluster : Emb_Par_t_ , Gia_ParLlb_t_
• fCnfObjIds : Jf_Par_t_
• fCo : Bbl_Obj_t_ , Emb_Obj_t_ , Frc_Obj_t_
• fCoarsen : Jf_Par_t_
• fCofactoring : Lpk_Man_t_
• fColorA : Gia_Rpr_t_
• fColorB : Gia_Rpr_t_
• fColorDiff : Cec_ParFra_t_
• fComp : Hash_Gen_t_
• fCompl : Bdc_Ent_t_ , Cof_Fan_t_ , Cut_CutStruct_t_ , Dau_Dsd_t_ , Dec_Edge_t_ , If_Cut_t_ , Ivy_Dec_t_ , Kit_Edge_t_ , Mig_Fan_t_ , Mpm_Cut_t_ , Nf_Mat_t_ , Rwr_Man_t_ , Rwt_Man_t_ , Str_Edg_t_
• fCompl0 : Abc_EnuMan_t_ , Abc_Obj_t_ , Bdc_Ent_t_ , Cut_ManStruct_t_ , Dar_LibObj_t_ , Dec_Node_t_ , Gia_Obj_t_ , Gla_Obj_t_ , If_Obj_t_ , Kit_Node_t_ , Rtm_Obj_t_ , Tas_Var_t_ , Unr_Obj_t_
• fCompl1 : Abc_EnuMan_t_ , Abc_Obj_t_ , Bdc_Ent_t_ , Cut_ManStruct_t_ , Dar_LibObj_t_ , Dec_Node_t_ , Gia_Obj_t_ , If_Obj_t_ , Kit_Node_t_ , Rtm_Obj_t_ , Tas_Var_t_ , Unr_Obj_t_
• fComplVars : Bmc_ParFf_t_
• fCompressAig : Fsim_ParSim_t_
• fConeBias : Fra_Par_t_
• fConst : Dec_Graph_t_ , Gla_Obj_t_ , Kit_Graph_t_
• fConst0 : Res_Sim_t_
• fConst1 : Res_Sim_t_
• fConstCorr : Cec_ParCor_t_ , Cec_ParSim_t_ , Ssw_Cla_t_ , Ssw_Pars_t_
• fConstr : Gia_ParAbs_t_
• fConstrs : Ssw_Pars_t_
• fConsts : Cec_ParSeq_t_
• fCreatePios : Aig_Man_t_
• fCut : Gps_Par_t_
• fCutHashing : Jf_Par_t_
• fCutMin : Bal_Man_t_ , If_Par_t_ , Jf_Par_t_ , Mpm_Par_t_ , Str_Man_t_
• fCutSimple : Jf_Par_t_
• fd : gz_state
• fDag : Cut_ParamsStruct_t_
• fDef : Io_BlifObj_t_
• fDelay : Mfs_Par_t_ , Res_Par_t_
• fDelayOpt : If_Par_t_
• fDelayOptLut : If_Par_t_
• fDelayWindow : Fpga_ManStruct_t_
• fDeriveLuts : If_Par_t_ , Mpm_Par_t_
• fDisableSt : Gia_ParFra_t_
• fDist1Pats : Fraig_ManStruct_t_ , Fraig_ParamsStruct_t_
• fDoAverage : If_Par_t_ , Jf_Par_t_
• fDontShowBar : Fra_Par_t_
• fDoSparse : Fra_Par_t_ , Fraig_ManStruct_t_ , Fraig_ParamsStruct_t_ , Ivy_FraigParams_t_
• fDriver : If_Obj_t_
• fDrop : Cut_ParamsStruct_t_
• fDropInvar : Int2_ManPars_t_ , Inter_ManParams_t_
• fDropSatOuts : Inter_ManParams_t_ , Saig_ParBmc_t_ , Ssw_RarPars_t_
• fds : pyabc_split._splitter
• fDsdBalance : If_Par_t_
• fDualOut : Cec_ParFra_t_ , Cec_ParSim_t_ , Cec_ParSmf_t_
• fDump : Bmc_ParFf_t_ , Emb_Par_t_
• fDumpBmc : Tst_Dat_t_
• fDumpFinal : Bmc_MulPar_t_
• fDumpFrames : Bmc_AndPar_t_
• fDumpInv : Pdr_Par_t_
• fDumpLarge : Emb_Par_t_
• fDumpMabs : Abs_Par_t_
• fDumpReached : Gia_ParLlb_t_
• fDumpSRInit : Ssw_Pars_t_
• fDumpStats : SC_SizePars_
• fDumpUntest : Bmc_ParFf_t_
• fDumpVabs : Abs_Par_t_
• fDynamic : Gia_ParAbs_t_ , Ssw_Pars_t_
• fEdge : If_Par_t_
• fEdgeCenter : Frc_Obj_t_
• fEnableCheck07 : If_Par_t_
• fEnableCheck08 : If_Par_t_
• fEnableCheck10 : If_Par_t_
• fEnableCheck75 : If_Par_t_
• fEnableCheck75u : If_Par_t_
• fEpsilon : Amap_Par_t_ , Fpga_ManStruct_t_ , If_Man_t_ , Map_ManStruct_t_
• fEpsilonInternal : Amap_Man_t_
• fEquivDump : Ssw_Pars_t_
• fEquivs : Cec_ParSeq_t_
• fError : Io_ReadBlif_t_ , Ver_Man_t_
• fEssen : MvcCubeStruct
• fExclude : Map_SuperStruct_t_
• fExFan : Ivy_Obj_t_
• fExor : Abc_Obj_t_ , Bdc_Ent_t_ , Rwr_Node_t_ , Rwt_Node_t_
• fExpRed : If_Par_t_
• fExtend : Dar_RefPar_t_
• fFail : Clu_Man_t_
• fFailed : Gia_Rpr_t_
• fFailTfo : Fraig_NodeStruct_t_ , Ivy_Obj_t_
• fFancy : Cut_ParamsStruct_t_ , If_Par_t_
• fFanout : Dar_RwrPar_t_ , Ivy_Man_t_
• fFeedBack : Fraig_ManStruct_t_ , Fraig_ParamsStruct_t_
• fFeedUse : Fraig_NodeStruct_t_
• fFeedVal : Fraig_NodeStruct_t_
• fFfNdOnly : Tst_Dat_t_
• fFilter : Cut_ParamsStruct_t_
• fFiltering : Clu_Man_t_
• fFirst : Lpk_Par_t_
• fFixed : Gia_Plc_t_
• fFlopOnly : Tst_Dat_t_
• fFlopVerbose : Ssw_Pars_t_
• fFraiging : Fra_Sec_t_ , Fra_Ssw_t_
• fFreeInvs : Amap_Par_t_
• fFreeKey : Hash_Gen_t_
• fFuncDsd : Jf_Par_t_
• fFuncOnly : Lms_Man_t_
• fFuncRed : Fraig_ManStruct_t_ , Fraig_ParamsStruct_t_
• fGenCnf : Jf_Par_t_
• fGiaSat : Mfs_Par_t_
• fGlobal : Cut_ParamsStruct_t_
• fHasDsd : Lpk_Cut_t_
• fHash : Hash_Flt_t_ , Hash_Gen_t_ , Hash_Int_t_ , Hash_Ptr_t_
• fHasMux : Amap_Lib_t_
• fHasXor : Amap_Lib_t_
• fHiePath : Abc_Ntk_t_
• fHieVisited : Abc_Ntk_t_
• Fi0Lev : Iso_Dat_t_
• Fi1Lev : Iso_Dat_t_
• filename : PLA_t
• FinalDelay : If_Par_t_
• fIndConstr : Gia_ParLlb_t_
• findShortestPath : AssortedInfo
• fInduction : Fra_Sec_t_
• fInit : Gia_ParFra_t_
• fInternal : Fraig_ParamsStruct_t_
• fInterpolation : Fra_Sec_t_
• fInterSeparate : Fra_Sec_t_
• fInv : Amap_Cut_t_ , Amap_Set_t_ , Fpga_NodeStruct_t_ , Fraig_NodeStruct_t_ , Map_NodeStruct_t_
• fInvert : Map_NodeStruct_t_ , Nwk_Obj_t_
• first : DdLevelQueue , Minisat::Queue< T >
• first_col : sm_matrix_struct , sm_row_struct
• first_part : cube_struct
• first_row : sm_col_struct , sm_matrix_struct
• first_word : cube_struct
• fIsFi : Wlc_Obj_t_
• fIsPo : Wlc_Obj_t_
• fItIsPi : Unr_Obj_t_
• fItIsPo : Unr_Obj_t_
• fixed : qps_problem
• fJQueue : Tas_Var_t_
• flag : sm_col_struct , sm_row_struct
• flags : inflate_state , Move , MtrNode
• fLatchCorr : Cec_ParCor_t_ , Cec_ParSim_t_ , Fra_Par_t_ , Fra_Ssw_t_ , Ssw_Pars_t_
• fLatchCorrOpt : Ssw_Pars_t_
• fLatchOnly : Ssw_RarPars_t_
• fLatchPaths : Fpga_ManStruct_t_ , If_Par_t_
• fLate : Lf_Cut_t_
• fLearnCls : Cec_ParSat_t_
• fLearned : Msat_Clause_t_
• fLevel : Fpga_CutStruct_t_
• fLi : Io_BlifObj_t_
• fLibConstr : Lms_Man_t_
• fLiftLeaves : If_Par_t_
• fLightSynth : Dch_Pars_t_
• fLightweight : Sim_Man_t_
• flipArray : permInfo
• flipCtr : permInfo
• fLo : Io_BlifObj_t_
• fLoadCnf : Bmc_AndPar_t_
• fLocal : Cut_ParamsStruct_t_
• fLocalSim : Ssw_Pars_t_
• fLookForSwaps : saucy
• fLoop : Io_BlifObj_t_
• Flow : Jf_Cut_t_ , Lf_Bst_t_ , Lf_Cut_t_ , Mf_Cut_t_ , Mf_Obj_t_ , Nf_Cut_t_
• fLutProf : Gps_Par_t_
• fMainRun : Mpm_Man_t_
• fMakeChoices : Cec_ParCor_t_
• fMap : Cut_ParamsStruct_t_
• fMap4Aig : Mpm_Par_t_
• fMap4Cnf : Mpm_Par_t_
• fMap4Gates : Mpm_Par_t_
• fMapped : Ver_Man_t_
• fMappingMode : Map_ManStruct_t_
• fMark : Au_Ntk_t_ , Bbl_Obj_t_ , Fpga_CutStruct_t_ , Gia_PtrAre_t_ , Gla_Obj_t_ , Gli_Obj_t_ , If_DsdObj_t_ , If_Obj_t_ , Ivy_Supp_t_ , Kit_DsdObj_t_ , Lpk_Cut_t_ , Lpk_Fun_t_ , Map_CutStruct_t_ , Msat_Clause_t_ , Rtm_Obj_t_
• fMark0 : Bdc_Ent_t_ , Cof_Obj_t_ , Dss_Obj_t_ , Emb_Obj_t_ , Fpga_NodeStruct_t_ , Fraig_NodeStruct_t_ , Frc_Obj_t_ , Gia_Obj_t_ , Map_NodeStruct_t_ , Tas_Var_t_
• fMark1 : Bdc_Ent_t_ , Cof_Obj_t_ , Dss_Obj_t_ , Emb_Obj_t_ , Fpga_NodeStruct_t_ , Fraig_NodeStruct_t_ , Frc_Obj_t_ , Gia_Obj_t_ , Map_NodeStruct_t_ , Tas_Var_t_
• fMark2 : Fraig_NodeStruct_t_ , Ivy_Supp_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_
• fMergeFull : Ssw_Pars_t_
• fMffc : Dar_LibDat_t_
• fMinApl : _reo_man
• fMinWidth : _reo_man
• fMiter : Gia_ManAre_t_ , Gps_Par_t_ , Ssw_RarPars_t_
• fMonoCnf : Pdr_Par_t_
• fMoreEffort : Mfs_Par_t_ , Sfm_Par_t_
• fMux : Amap_Gat_t_
• fMux7 : Lf_Cut_t_
• fMuxXor : Gps_Par_t_
• fNaive : Cec_ParCec_t_
• fNameLast : Ver_Man_t_
• Fnc : Bbl_Obj_t_
• fNewAsUseless : If_DsdMan_t_
• fNewRefine : Abs_Par_t_
• fNextRound : If_Man_t_
• fNodeOr : Dec_Node_t_ , Kit_Node_t_
• fNodePo : Fraig_NodeStruct_t_
• fNonChrono : Cec_ParSat_t_
• fNonConstOut : Fra_Sml_t_ , Ssw_Sml_t_
• fNothingNew : Clu_Man_t_
• fNotUseRandom : sat_solver2_t , sat_solver_t
• fNotVerbose : Bmc_AndPar_t_ , Pdr_Par_t_ , Saig_ParBmc_t_ , Ssw_RarPars_t_
• fNpn : Gps_Par_t_
• fNpnSave : Cut_ParamsStruct_t_
• fObeyFanoutLimits : Map_ManStruct_t_
• fOldAlgo : Lpk_Par_t_
• fOneHotness : Mfs_Par_t_
• fOneRound : Mpm_Par_t_
• fOnlyD : FxuDataStruct
• fOnlyS : FxuDataStruct
• fOptEdge : Jf_Par_t_
• fork_all() : pyabc_split._splitter
• fork_one() : pyabc_split._splitter
• fOrPos : Gia_ParFra_t_
• fOuter : If_Box_t_
• fOutputCorr : Ssw_Pars_t_
• fPartition : Saig_ParBbr_t_
• fPartSigCorr : Ssw_Pars_t_
• fPatScores : Fra_Par_t_ , Ivy_FraigParams_t_
• fPersist : Abc_Obj_t_
• fPhase : Abc_Obj_t_ , Aig_Obj_t_ , Amap_Obj_t_ , Cof_Obj_t_ , Dar_LibObj_t_ , Gia_Obj_t_ , Gli_Obj_t_ , Hop_Obj_t_ , If_Obj_t_ , Ivy_Obj_t_ , Tas_Var_t_
• fPhase2 : Gli_Obj_t_
• fPhaseAbstract : Fra_Sec_t_
• fPi : Gla_Obj_t_ , Io_BlifObj_t_
• fPo : Gla_Obj_t_ , Io_BlifObj_t_
• fPolar : Amap_Obj_t_
• fPolarFlip : Cec_ParSat_t_ , Dch_Pars_t_ , Hcd_Pars_t_ , Ssw_Pars_t_ , Ssw_Sat_t_
• fPower : Dar_RwrPar_t_ , Dch_Pars_t_ , Hcd_Pars_t_ , If_Par_t_ , Jf_Par_t_ , Mfs_Par_t_
• fPPi : Rf2_Obj_t_ , Rfn_Obj_t_ , Rnm_Obj_t_
• fPreprocess : If_Par_t_
• fPrime : MvcCubeStruct
• fPrintTree : saucy
• fProbOne : Fsim_ParSwitch_t_ , Gia_ParSwi_t_
• fProbTrans : Fsim_ParSwitch_t_ , Gia_ParSwi_t_
• fProofLogging : sat_solver2_t
• fProofVerif : Int_Man_t_ , Inta_Man_t_ , Intb_Man_t_ , Intp_Man_t_ , Pr_Man_t_
• fProofWrite : Int_Man_t_ , Inta_Man_t_ , Intb_Man_t_ , Intp_Man_t_ , Pr_Man_t_
• fPropFanout : Abs_Par_t_ , Rf2_Man_t_ , Rnm_Man_t_
• fProve : Fra_Par_t_ , Ivy_FraigParams_t_
• fProved : Gia_Rpr_t_
• fPureAig : Jf_Par_t_
• fReachability : Fra_Sec_t_
• fReadUnsolved : Fra_Sec_t_
• fRecord : Cut_ParamsStruct_t_
• fRecordAig : Cut_ParamsStruct_t_
• fRecursive : Fra_Sec_t_
• fRecycle : Dar_RwrPar_t_
• freelist : DdLevelQueue
• fRefCount : Hop_Man_t_
• fRefine : Emb_Par_t_
• fRefined : Ssw_Man_t_
• fRefinement : Fra_Cla_t_
• fRefining : Fra_Lcr_t_
• fRemapUp : _reo_man
• fReorder : Gia_ParLlb_t_ , Saig_ParBbr_t_
• fReorderImage : Fra_Sec_t_ , Saig_ParBbr_t_
• fReportSolution : Fra_Sec_t_
• fRepr : Amap_Obj_t_ , If_Obj_t_
• freq : ct_data_s
• fReqTimeWarn : If_Man_t_
• fRequiredGain : Fpga_ManStruct_t_
• fRequiredGlo : Fpga_ManStruct_t_ , Map_ManStruct_t_
• fRequiredShift : Fpga_ManStruct_t_
• fRequiredStart : Fpga_ManStruct_t_
• fResub : Mfs_Par_t_
• fResynthesis : Fpga_ManStruct_t_
• fRetimeFirst : Fra_Sec_t_
• fRetimeRegs : Fra_Sec_t_
• fReuseProofOblig : Pdr_Par_t_
• fRewrite : Fra_Par_t_ , Fra_Ssw_t_ , Int2_ManPars_t_ , Inter_ManParams_t_
• fRewriting : Cec_ParCec_t_ , Cec_ParFra_t_
• fRi : Gla_Obj_t_
• fRo : Gla_Obj_t_
• fRoot : Pr_Cls_t_ , Sto_Cls_t_
• frozen : Minisat::SimpSolver
• fRrOnly : Mfs_Par_t_ , Sfm_Par_t_
• fRunCSat : Cec_ParFra_t_
• fSatSweeping : Cec_ParFra_t_
• fSatur : Ivy_Store_t_ , Lpk_Par_t_
• fSaveLastLit : Gia_ParFra_t_
• fSchedule : Gia_ParLlb_t_
• fScorrGia : Ssw_Pars_t_
• fSemiFormal : Ssw_Pars_t_
• fSeq : Cut_ParamsStruct_t_ , If_Box_t_
• fSeqSimulate : Cec_ParSim_t_
• fSetLastState : Ssw_RarPars_t_
• fShiftStart : Pdr_Par_t_
• fShortest : Pdr_Par_t_
• fShowImage : Emb_Par_t_
• fSifted : _reo_plane
• fSilent : Fra_Sec_t_ , Fra_Ssw_t_ , Gia_ParLlb_t_ , Pdr_Par_t_ , Saig_ParBbr_t_ , Saig_ParBmc_t_ , Ssw_RarPars_t_
• fSimpProver : Abs_Par_t_
• fSimul : Cut_CutStruct_t_ , Cut_ManStruct_t_ , Cut_OracleStruct_t_
• fSimulateTfo : Dch_Pars_t_ , Hcd_Pars_t_
• fSizeOnly : SC_BusPars_
• fSkip : SC_Cell_
• fSkipCut : If_Obj_t_
• fSkipCutFilter : If_Par_t_
• fSkipGeneral : Pdr_Par_t_
• fSkipHash : Abs_Par_t_
• fSkipInv : Super_ManStruct_t_
• fSkipMap : Gps_Par_t_
• fSkipOutCheck : Gia_ParLlb_t_ , Saig_ParBbr_t_
• fSkipRand : Saig_ParBmc_t_
• fSkipReach : Gia_ParLlb_t_
• fSkipRedSupp : Dch_Pars_t_
• fSkipSimplify : sat_solver2_t , sat_solver_t
• fSolveAll : Pdr_Par_t_ , Saig_ParBmc_t_ , Ssw_RarPars_t_
• fSolved : sat_solver_t
• fSource : Abc_Frame_t_
• fSpec : If_Obj_t_
• fSpeculate : Fra_Par_t_
• fSplitPrime : Dau_Dsd_t_
• fStartPats : Bmc_ParFf_t_
• fStepUp : Clu_Man_t_
• fStop : Extra_FileReader_t_ , Ver_Stream_t_
• fStopOnFirstFail : Fra_Sec_t_
• fStopped : Gia_ManAre_t_
• fStopWhenGone : Cec_ParCor_t_ , Ssw_Pars_t_
• fStoreCex : Pdr_Par_t_ , Saig_ParBmc_t_
• fSuper : Map_SuperStruct_t_ , Super_GateStruct_t_
• fSupports : Lpk_Fun_t_
• fSwapEdge : Mfs_Par_t_
• fSweeper : Gia_Man_t_
• fSwitch : Gps_Par_t_
• fSwitching : Fpga_ManStruct_t_ , Map_ManStruct_t_
• fSynthesis : Dch_Pars_t_ , Hcd_Pars_t_
• ftab : EState
• fTarget : Clu_Man_t_
• fTemp : Fpga_NodeStruct_t_
• fTents : Gps_Par_t_
• fTerm : Cof_Obj_t_ , Dar_LibObj_t_ , Gia_Obj_t_ , Gia_ObjSat2_t_ , Gli_Obj_t_ , Tas_Var_t_
• fThisIsAdd : _reo_man
• fTopLevel : Ver_Man_t_
• fTransLoop : Int2_ManPars_t_ , Inter_ManParams_t_
• fTree : Cut_ParamsStruct_t_ , Gia_ManAre_t_
• fTruth : Aig_ManCut_t_ , Cut_ParamsStruct_t_ , If_Par_t_
• fTryBmc : Fra_Sec_t_
• fTryComb : Fra_Sec_t_
• fTryProve : Fraig_ManStruct_t_ , Fraig_ParamsStruct_t_
• fTwoRounds : Pdr_Par_t_
• fTypeA : Msat_Clause_t_
• fullset : cube_struct
• Func : Au_Obj_t_
• func : config_s
• func_text : SC_Pin_
• funcCst0 : Mpm_Man_t_
• function : Literal_t_
• functionRef : NodeData
• funcVar0 : Mpm_Man_t_
• fUndef : Gia_Plc_t_
• fUnused : Dau_Dsd_t_ , If_Box_t_
• fUpdateLevel : Abc_ManRst_t_ , Dar_RefPar_t_ , Dar_RwrPar_t_
• fUse0 : FxuDataStruct
• fUse1Hot : Fra_Par_t_ , Fra_Ssw_t_
• fUseActive : Tas_Par_t_
• fUseAndVars : If_Par_t_
• fUseBackward : Inter_ManParams_t_
• fUseBat : If_Par_t_
• fUseBdds : Gia_ParAbs_t_ , If_Par_t_ , Prove_ParamsStruct_t_
• fUseBias : Inter_ManParams_t_
• fUseBridge : Pdr_Par_t_ , Saig_ParBmc_t_
• fUseBuffs : If_Par_t_
• fUseCex : Ssw_RarPars_t_
• fUseCnfs : If_Par_t_
• fUseCoAttrs : If_Par_t_
• fUseCofVars : If_Par_t_
• fUseCompl : FxuDataStruct
• fUseCSat : Cec_ParChc_t_ , Cec_ParCor_t_ , Dch_Pars_t_ , Hcd_Pars_t_ , Ssw_Pars_t_
• fUsed : Dar_Cut_t_ , Fpga_NodeStruct_t_ , Lf_Plc_t_ , Map_NodeStruct_t_ , Rwr_Node_t_ , Rwt_Node_t_
• fUseDept : SC_SizePars_
• fUseDiffSupp : Nwk_LMPars_t_
• fUseDprove : Gia_ParAbs_t_
• fUseDsd : If_Par_t_ , Mpm_Par_t_
• fUseDsdTune : If_Par_t_
• fUseEla : Lf_Man_t_ , Mf_Man_t_ , Nf_Man_t_
• fUseEsop : Cov_Man_t_
• fUseFfGrouping : Ssw_RarPars_t_
• fUseFlow : Gia_ParLlb_t_
• fUseFraiging : Prove_ParamsStruct_t_
• fUseFullProof : Abs_Par_t_
• fUseGates : Mpm_Par_t_
• fUseGia : Dch_Pars_t_ , Hcd_Pars_t_
• fUseHighest : Cbs0_Par_t_ , Cbs_Par_t_ , Tas_Par_t_
• fUseImps : Fra_Par_t_ , Fra_Ssw_t_
• fUseInt : Attr_ManStruct_t_
• fUseLcorr : Cec_ParSeq_t_
• fUseless : If_Cut_t_ , Mpm_Cut_t_
• fUseLowest : Cbs0_Par_t_ , Cbs_Par_t_ , Tas_Par_t_
• fUseMaxFF : Cbs0_Par_t_ , Cbs_Par_t_ , Tas_Par_t_
• fUseMemMan : Ver_Man_t_
• fUseMiniSat : Cec_ParSeq_t_ , Inter_ManParams_t_
• fUseMux : Amap_Man_t_
• fUseMux7 : Jf_Par_t_
• fUseMuxes : Amap_Par_t_
• fUseMv : If_Par_t_
• fUseNewLine : Ga2_Man_t_
• fUseNewProver : Fra_Sec_t_
• fUseOldCnf : Bmc_AndPar_t_
• fUseOther : Inter_ManParams_t_
• fUsePdr : Fra_Sec_t_
• fUsePerm : If_Par_t_
• fUsePivots : Gia_ParLlb_t_
• fUsePudlak : Inter_ManParams_t_
• fUser : If_Cut_t_
• fUseReset : Io_MvMan_t_
• fUseRewriting : Prove_ParamsStruct_t_
• fUseRings : Cec_ParChc_t_ , Cec_ParCor_t_
• fUseRollback : Abs_Par_t_
• fUserRecLib : If_Par_t_
• fUseScorr : Cec_ParSeq_t_
• fUseSeparate : Inter_ManParams_t_
• fUseSimple : Abs_Par_t_
• fUseSkip : Abs_Par_t_
• fUseSmartCnf : Cec_ParCec_t_ , Cec_ParCor_t_
• fUseSop : Cov_Man_t_
• fUseSops : If_Par_t_
• fUseStart : Gia_ParAbs_t_
• fUseSyn : Bmc_MulPar_t_
• fUseSynth : Bmc_AndPar_t_
• fUseTermVars : Abs_Par_t_
• fUseTfiTfo : Nwk_LMPars_t_
• fUseTravId : Tim_Man_t_
• fUseTruth : Mpm_Par_t_
• fUseTtPerm : If_Par_t_
• fUseTwoFrames : Inter_ManParams_t_
• fUseWireLoads : SC_BusPars_ , SC_SizePars_
• fUseXor : Abc_EnuMan_t_ , Amap_Man_t_
• fUseXors : Amap_Par_t_
• fUseZeros : Abc_ManRst_t_ , Dar_RefPar_t_ , Dar_RwrPar_t_
• fVal : Tas_Var_t_
• fValOld : Tas_Var_t_
• fVar : Super_GateStruct_t_
• fVarPinDelays : Fpga_LutLibStruct_t_ , If_LibLut_t_ , Mpm_LibLut_t_
• fVerbose : _reo_man , Abc_EnuMan_t_ , Abc_ManRef_t_ , Abc_ManRst_t_ , Abc_ShaMan_t_ , Abs_Par_t_ , Aig_Gla1Man_t_ , Aig_Gla2Man_t_ , Aig_Gla3Man_t_ , Aig_ManCut_t_ , Aig_ManPack_t_ , Amap_Lib_t_ , Amap_Par_t_ , Bal_Man_t_ , Bbr_ImageTree_t_ , Bdc_Par_t_ , Bmc_AndPar_t_ , Bmc_BCorePar_t_ , Bmc_MulPar_t_ , Bmc_ParFf_t_ , Cbs0_Par_t_ , Cbs_Par_t_ , Ccf_Man_t_ , Cec_ManPat_t_ , Cec_ParCec_t_ , Cec_ParChc_t_ , Cec_ParCor_t_ , Cec_ParFra_t_ , Cec_ParSat_t_ , Cec_ParSeq_t_ , Cec_ParSim_t_ , Cec_ParSmf_t_ , Cgt_Par_t_ , Clu_Man_t_ , Csw_Man_t_ , Cut_ParamsStruct_t_ , Dar_RefPar_t_ , Dar_RwrPar_t_ , Dch_Pars_t_ , Dsd_Manager_t_ , Emb_Man_t_ , Emb_Par_t_ , Extra_ImageTree_t_ , Fpga_ManStruct_t_ , Fra_Lcr_t_ , Fra_Par_t_ , Fra_Sec_t_ , Fra_Ssw_t_ , Fraig_ManStruct_t_ , Fraig_ParamsStruct_t_ , Frc_Man_t_ , Fsim_ParSim_t_ , Fsim_ParSwitch_t_ , FxuDataStruct , Gia_Man_t_ , Gia_ParAbs_t_ , Gia_ParFra_t_ , Gia_ParLlb_t_ , Gia_ParSim_t_ , Gia_ParSwi_t_ , Hcd_Man_t_ , Hcd_Pars_t_ , If_Par_t_ , Ifif_Par_t_ , Int2_ManPars_t_ , Int_Man_t_ , Inta_Man_t_ , Intb_Man_t_ , Inter_Man_t_ , Inter_ManParams_t_ , Intp_Man_t_ , Ivy_FraigParams_t_ , Jf_Par_t_ , Lpk_Par_t_ , Map_ManStruct_t_ , Map_SuperLibStruct_t_ , Mfs_Par_t_ , Mpm_Par_t_ , Msat_Solver_t_ , Nwk_LMPars_t_ , Odc_Man_t_ , Pdr_Par_t_ , Prove_ParamsStruct_t_ , Qbf_Man_t_ , Res_Par_t_ , Rf2_Man_t_ , Rnm_Man_t_ , Rsb_Man_t_ , Saig_Bmc_t_ , Saig_ManCba_t_ , Saig_ParBbr_t_ , Saig_ParBmc_t_ , Saig_RefMan_t_ , sat_solver2_t , sat_solver_t , SC_BusPars_ , SC_SizePars_ , Sfm_Par_t_ , Ssc_Pars_t_ , Ssw_Pars_t_ , Ssw_RarMan_t_ , Ssw_RarPars_t_ , Ssw_Sem_t_ , Super_ManStruct_t_ , Tas_Par_t_
• fVerboseFlops : Cec_ParCor_t_
• fVerboseP : Fraig_ManStruct_t_ , Fraig_ParamsStruct_t_
• fVerify : _reo_man , Ssc_Pars_t_
• fVeryVerbose : Abs_Par_t_ , Bdc_Par_t_ , Bmc_AndPar_t_ , Bmc_MulPar_t_ , Cec_ParCec_t_ , Cec_ParChc_t_ , Cec_ParCor_t_ , Cec_ParFra_t_ , Cec_ParSeq_t_ , Cec_ParSim_t_ , Cgt_Par_t_ , Clu_Man_t_ , Dar_RefPar_t_ , Dar_RwrPar_t_ , Fra_Sec_t_ , FxuDataStruct , Gia_ParAbs_t_ , Gia_ParLlb_t_ , Ifif_Par_t_ , Jf_Par_t_ , Lpk_Par_t_ , Mfs_Par_t_ , Mpm_Par_t_ , Nwk_LMPars_t_ , Odc_Man_t_ , Pdr_Par_t_ , Res_Par_t_ , SC_BusPars_ , SC_SizePars_ , Sfm_Par_t_
• fVisit : If_Obj_t_ , Iso_Dat_t_ , Pr_Cls_t_ , Rf2_Obj_t_ , Rfn_Obj_t_ , Rnm_Obj_t_ , Sto_Cls_t_ , Vta_Obj_t_
• fVisitJ : Rnm_Obj_t_
• fWay : Ifd_Obj_t_
• fWriteImps : Fra_Par_t_ , Fra_Ssw_t_
• fWriteOldFormat : Super_ManStruct_t_
• fWriteTruth : Dau_Dsd_t_
• fZeroCost : Lpk_Par_t_