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

- t -

• t : cloudNode
• T : DdChildren
• t : Kit_Mux_t_
• table : ApproxInfo
• Table : Dsd_Manager_t_
• table : Minisat::Map< K, D, H, E > , st__generator , stmm_generator
• tag : varinfo2_t , varinfo_t
• tagged : sat_solver2_t , sat_solver_t
• tags : sat_solver_t
• tAliases : Abc_Frame_t_
• tAreaMax : Super_ManStruct_t_
• target : Rpo_Man_t_
• tArrDef : Abc_ManTime_t_
• tArrival : Fpga_CutStruct_t_ , Map_NodeStruct_t_ , Nwk_Obj_t_
• tArrive : Map_MatchStruct_t_
• tCaches : cloudManager
• tCnf : Pdr_Man_t_
• tCommands : Abc_Frame_t_
• tContain : Pdr_Man_t_
• tDelayInv : Map_SuperLibStruct_t_
• tDelayMax : Map_SuperStruct_t_ , Super_GateStruct_t_ , Super_ManStruct_t_
• tDelaysF : Map_SuperStruct_t_
• tDelaysR : Map_SuperStruct_t_
• temp : cube_struct
• Temp : Rtm_Obj_t_
• temp_clause : sat_solver2_t , sat_solver_t
• temp_proof : sat_solver2_t
• tempInter : sat_solver2_t
• text : gz_header_s
• tFlags : Abc_Frame_t_
• tGeneral : Pdr_Man_t_
• theta : saucy
• thfront : saucy
• thnext : saucy
• thprev : saucy
• threp : saucy
• threshold : AssortedInfo
• thresholdMax : Rpo_Man_t_
• thresholdReached : AssortedInfo
• thsize : saucy
• time : _CSAT_Target_ResultT , gz_header_s
• Time : Jf_Cut_t_ , Super_ManStruct_t_
• time1 : Aig_Man_t_ , Dar_Man_t_ , Fpga_ManStruct_t_ , Fra_Man_t_ , Fraig_ManStruct_t_ , Hop_Man_t_ , Ivy_FraigMan_t_ , Ivy_Man_t_ , Map_ManStruct_t_
• time2 : Aig_Man_t_ , Dar_Man_t_ , Fpga_ManStruct_t_ , Fra_Man_t_ , Fraig_ManStruct_t_ , Hop_Man_t_ , Ivy_FraigMan_t_ , Ivy_Man_t_ , Map_ManStruct_t_
• Time2Quit : Aig_Man_t_
• time3 : Fraig_ManStruct_t_ , Map_ManStruct_t_
• time4 : Fraig_ManStruct_t_
• timeAbort : Odc_Man_t_
• timeAig : Cgt_Man_t_ , Gia_ManAre_t_ , Mfs_Man_t_ , Res_Man_t_
• timeArea : Map_ManStruct_t_
• timeArr : Tim_Obj_t_
• timeBcp : Int_Man_t_ , Inta_Man_t_ , Intb_Man_t_ , Intp_Man_t_ , Pr_Man_t_
• timeBdd : Abc_ManRef_t_ , Abc_ManRst_t_
• timeBeg : Dss_Man_t_
• timeBmc : Ssw_Man_t_
• timeBuild : Lms_Man_t_
• timeBwd : Rf2_Man_t_ , Rnm_Man_t_
• timeCache : Bdc_Man_t_ , If_Man_t_
• timeCand : Res_Man_t_
• timeCanon : Cut_CMan_t_ , If_DsdMan_t_ , Lms_Man_t_
• timeCex : Ga2_Man_t_ , Gla_Man_t_ , Vta_Man_t_
• timeCheck : Bdc_Man_t_ , If_DsdMan_t_ , Lms_Man_t_
• timeCheck2 : If_DsdMan_t_
• timeChoice : Dch_Man_t_
• timeClean : Odc_Man_t_
• timeCnf : Inter_Man_t_ , Mfs_Man_t_ , Sfm_Ntk_t_ , Swp_Man_t_
• timeCnfGen : Ssc_Man_t_
• TimeCommand : Abc_Frame_t_
• timeCompare : Mpm_Man_t_
• timeCone : SC_Man_
• timeCount : Sym_Man_t_
• timeCube : Gia_ManAre_t_
• timeCut : Abc_ManRef_t_ , Abc_ManRes_t_ , Abc_ManRst_t_ , Rwr_Man_t_ , Rwt_Man_t_
• timeCuts : Cnf_Man_t_ , Csw_Man_t_ , Dar_Man_t_ , Fpga_ManStruct_t_ , Lpk_Man_t_ , Map_ManStruct_t_ , Ref_Man_t_
• timeDcs : Abc_ManRef_t_
• timeDec : Dss_Man_t_
• timeDecision : Cgt_Man_t_
• timeDerive : Mpm_Man_t_
• timeDiv : Abc_ManRes_t_ , Mfs_Man_t_ , Res_Man_t_ , Sfm_Ntk_t_
• timeDsd : Abc_ManRst_t_ , If_DsdMan_t_
• timeEnd : Dss_Man_t_
• timeEqu : Inter_Man_t_
• timeEval : Abc_ManRef_t_ , Abc_ManRst_t_ , Dar_Man_t_ , Lpk_Man_t_ , Mpm_Man_t_ , Ref_Man_t_ , Rwr_Man_t_ , Rwt_Man_t_
• timeEvalDsdAn : Lpk_Man_t_
• timeEvalDsdSp : Lpk_Man_t_
• timeEvalMuxAn : Lpk_Man_t_
• timeEvalMuxSp : Lpk_Man_t_
• timeFact : Abc_ManRef_t_
• timeFeed : Fraig_ManStruct_t_
• timeFilter : Cut_ManStruct_t_
• timeFind : Cec_ManPat_t_
• timeFout : Iso_Man_t_
• timeFraig : Fra_Lcr_t_ , Sim_Man_t_ , Sym_Man_t_
• timeFwd : Rf2_Man_t_ , Rnm_Man_t_
• timeGia : Mfs_Man_t_
• timeGloba : Llb_Mnn_t_
• timeHash : Csw_Man_t_ , Cut_ManStruct_t_ , Iso_Man_t_
• timeImage : Llb_Mnn_t_ , Llb_Mnx_t_
• timeImply : Fraig_ManStruct_t_
• timeInit : Ga2_Man_t_ , Gla_Man_t_
• timeInsert : Lms_Man_t_
• timeInt : Inter_Man_t_ , Mfs_Man_t_ , Res_Man_t_
• timeLastSolved : Pdr_Par_t_ , Saig_ParBmc_t_
• TimeLimit : Cec_ParCec_t_ , Cec_ParFra_t_ , Cec_ParSim_t_ , Cec_ParSmf_t_ , Fpga_ManStruct_t_ , Fra_Sec_t_ , Fra_Ssw_t_ , Fsim_ParSim_t_ , Gia_ParLlb_t_ , Gia_ParSim_t_ , Saig_ParBbr_t_ , Ssw_Pars_t_ , Super_ManStruct_t_
• TimeLimitGlo : Gia_ParLlb_t_
• timeLook : Dss_Man_t_
• timeMap : Cnf_Man_t_ , Cut_ManStruct_t_ , Lpk_Man_t_
• timeMarkCones : Ssw_Man_t_
• timeMatch : Fpga_ManStruct_t_ , Map_ManStruct_t_
• timeMatr : Sym_Man_t_
• timeMerge : Cut_ManStruct_t_ , Mpm_Man_t_
• timeMffc : Abc_ManRes_t_ , Rwr_Man_t_ , Rwt_Man_t_
• timeMiter : Abc_RRMan_t_ , Odc_Man_t_
• timeMuxes : Bdc_Man_t_
• timeNtk : Abc_ManRef_t_ , Abc_ManRes_t_ , Abc_ManRst_t_
• timeOther : Cgt_Man_t_ , Csw_Man_t_ , Dar_Man_t_ , Dch_Man_t_ , Ga2_Man_t_ , Gia_Iso2Man_t_ , Gia_IsoMan_t_ , Gla_Man_t_ , Int2_Man_t_ , Inter_Man_t_ , Iso_Man_t_ , Llb_Mnn_t_ , Llb_Mnx_t_ , Lms_Man_t_ , Lpk_Man_t_ , Mpm_Man_t_ , Ref_Man_t_ , SC_Man_ , Sfm_Ntk_t_ , Ssc_Man_t_ , Ssw_Man_t_ , Vta_Man_t_
• TimeOut : Gia_ParAbs_t_ , SC_SizePars_ , Ssw_RarPars_t_
• TimeOutGap : Bmc_MulPar_t_ , Ssw_RarPars_t_
• TimeOutGlo : Bmc_MulPar_t_
• TimeOutInc : Bmc_MulPar_t_
• TimeOutLoc : Bmc_MulPar_t_
• TimeOutVT : Gia_ParAbs_t_
• timePack : Cec_ManPat_t_
• timePart : Fra_Lcr_t_
• timePat : Cec_ManFra_t_
• TimePerOut : Bmc_MulPar_t_
• timePre : Aig_Gla2Man_t_ , Aig_Gla3Man_t_
• timePrepare : Cgt_Man_t_
• TimePrint : Super_ManStruct_t_
• timeProve : Abc_RRMan_t_
• timeQuant : Odc_Man_t_
• timeRead : Pr_Man_t_
• timeRecover : Fpga_ManStruct_t_
• timeReduce : Ssw_Man_t_
• timeRef : Aig_Gla1Man_t_ , Fra_Man_t_ , Ivy_FraigMan_t_
• timeRefine : Gia_Iso2Man_t_ , Gia_IsoMan_t_
• timeRemap : Llb_Mnx_t_
• timeReo : Llb_Mnn_t_ , Llb_Mnx_t_
• timeReoG : Llb_Mnn_t_
• timeReq : Tim_Obj_t_
• timeRes : Abc_ManRef_t_ , Abc_ManRes_t_ , Abc_ManRst_t_ , Rwr_Man_t_ , Rwt_Man_t_
• timeRes1 : Abc_ManRes_t_
• timeRes2 : Abc_ManRes_t_
• timeRes3 : Abc_ManRes_t_
• timeResD : Abc_ManRes_t_
• timeRwr : Fra_Man_t_ , Inter_Man_t_
• timeSat : Aig_Gla1Man_t_ , Aig_Gla2Man_t_ , Aig_Gla3Man_t_ , Cec_ManFra_t_ , Cgt_Man_t_ , Dch_Man_t_ , Fra_Man_t_ , Fraig_ManStruct_t_ , Ga2_Man_t_ , Gla_Man_t_ , Inter_Man_t_ , Ivy_FraigMan_t_ , Mfs_Man_t_ , Res_Sim_t_ , Sfm_Ntk_t_ , Sim_Man_t_ , Ssc_Man_t_ , Ssw_Man_t_ , Swp_Man_t_ , Sym_Man_t_ , Vta_Man_t_
• timeSatFail : Fra_Man_t_ , Ivy_FraigMan_t_
• timeSatPref : Int2_Man_t_
• timeSatSat : Cbs0_Man_t_ , Cbs_Man_t_ , Cec_ManSat_t_ , Cgt_Man_t_ , Dch_Man_t_ , Fra_Man_t_ , Ivy_FraigMan_t_ , Res_Man_t_ , Ssc_Man_t_ , Ssw_Man_t_ , Swp_Man_t_ , Tas_Man_t_
• timeSatSim : Res_Man_t_
• timeSatSuff : Int2_Man_t_
• timeSatTotal : Res_Man_t_
• timeSatUndec : Cbs0_Man_t_ , Cbs_Man_t_ , Cec_ManSat_t_ , Cgt_Man_t_ , Dch_Man_t_ , Ssc_Man_t_ , Ssw_Man_t_ , Swp_Man_t_ , Tas_Man_t_
• timeSatUnsat : Cbs0_Man_t_ , Cbs_Man_t_ , Cec_ManSat_t_ , Cgt_Man_t_ , Dch_Man_t_ , Fra_Man_t_ , Ivy_FraigMan_t_ , Res_Man_t_ , Ssc_Man_t_ , Ssw_Man_t_ , Swp_Man_t_ , Tas_Man_t_
• timeSave : Cnf_Man_t_
• TimeSec : Super_ManStruct_t_
• timeShrink : Cec_ManPat_t_
• timeSim : Abc_ManRes_t_ , Cec_ManFra_t_ , Fra_Lcr_t_ , Fra_Man_t_ , Fra_Sml_t_ , Gia_Iso2Man_t_ , Gia_IsoMan_t_ , Ivy_FraigMan_t_ , Odc_Man_t_ , Res_Man_t_ , Sim_Man_t_ , Ssw_Sml_t_ , Sym_Man_t_
• timeSimInit : Dch_Man_t_ , Ssc_Man_t_
• timeSims : Fraig_ManStruct_t_
• timeSimSat : Dch_Man_t_ , Ssc_Man_t_ , Ssw_Man_t_
• timeSize : SC_Man_
• timeSop : Abc_ManRef_t_
• timeSort : Cec_ManPat_t_ , Gia_Iso2Man_t_ , Gia_IsoMan_t_ , Iso_Man_t_
• timeStart : Fx_Man_t_ , Ga2_Man_t_ , Gia_Iso2Man_t_ , Gia_IsoMan_t_ , Rwr_Man_t_ , Rwt_Man_t_ , Swp_Man_t_
• TimeStop : DdManager , Super_ManStruct_t_
• timeStore : Mpm_Man_t_
• timeStruct : Sym_Man_t_
• timeSupp : Cut_CMan_t_
• timeSupps : Bdc_Man_t_ , Lpk_Man_t_
• timeSweep : Map_ManStruct_t_
• timeSynth : Dch_Pars_t_ , Hcd_Pars_t_
• timeTable : Cut_CMan_t_
• TimeTarget : Gia_ParLlb_t_
• timeTime : SC_Man_
• timeToAig : Fraig_ManStruct_t_
• timeToMap : Fpga_ManStruct_t_ , Map_ManStruct_t_
• timeToNet : Fpga_ManStruct_t_ , Fraig_ManStruct_t_ , Map_ManStruct_t_
• timeToStop : Pdr_Man_t_
• timeToStopOne : Pdr_Man_t_
• TimeTotal : Abc_Frame_t_
• timeTotal : Abc_ManRef_t_ , Abc_ManRes_t_ , Abc_ManRst_t_ , Abc_RRMan_t_ , Aig_Gla1Man_t_ , Aig_Gla2Man_t_ , Aig_Gla3Man_t_ , Bdc_Man_t_ , Cbs0_Man_t_ , Cbs_Man_t_ , Cec_ManFra_t_ , Cec_ManPat_t_ , Cec_ManSat_t_ , Cgt_Man_t_ , Csw_Man_t_ , Cut_OracleStruct_t_ , Dar_Man_t_ , Dch_Man_t_ , Fpga_ManStruct_t_ , Fra_Lcr_t_ , Fra_Man_t_ , Fraig_ManStruct_t_ , Gia_Iso2Man_t_ , Gia_IsoMan_t_ , Int2_Man_t_ , Int_Man_t_ , Inta_Man_t_ , Intb_Man_t_ , Inter_Man_t_ , Intp_Man_t_ , Iso_Man_t_ , Ivy_FraigMan_t_ , Llb_Mnn_t_ , Llb_Mnx_t_ , Lms_Man_t_ , Lpk_Man_t_ , Map_ManStruct_t_ , Mfs_Man_t_ , Mpm_Man_t_ , Odc_Man_t_ , Pr_Man_t_ , Ref_Man_t_ , Res_Man_t_ , Rf2_Man_t_ , Rnm_Man_t_ , Rwr_Man_t_ , Rwt_Man_t_ , SC_Man_ , Sfm_Ntk_t_ , Sim_Man_t_ , Ssc_Man_t_ , Ssw_Man_t_ , Swp_Man_t_ , Sym_Man_t_ , Tas_Man_t_
• timeTotalSave : Cec_ManPat_t_
• timeTrace : Int_Man_t_ , Inta_Man_t_ , Intb_Man_t_ , Intp_Man_t_ , Pr_Man_t_
• timeTran1 : Llb_Mnn_t_
• timeTran2 : Llb_Mnn_t_
• timeTrav : Fra_Lcr_t_ , Fra_Man_t_ , Fraig_ManStruct_t_ , Ivy_FraigMan_t_ , Sim_Man_t_
• timeTruth : Abc_ManRes_t_ , Cut_ManStruct_t_ , Fpga_ManStruct_t_ , Lms_Man_t_ , Lpk_Man_t_ , Map_ManStruct_t_ , Odc_Man_t_ , Rwt_Man_t_
• timeTruth2 : Lpk_Man_t_
• timeTruth3 : Lpk_Man_t_
• timeUnion : Cut_ManStruct_t_
• timeUnsat : Ga2_Man_t_ , Gla_Man_t_ , Vta_Man_t_
• timeUpd : Res_Man_t_
• timeUpdate : Abc_RRMan_t_ , Fra_Lcr_t_ , Rwr_Man_t_ , Rwt_Man_t_
• timeVer : Rf2_Man_t_ , Rnm_Man_t_
• timeVerify : Cec_ManPat_t_ , If_DsdMan_t_
• timeWin : Mfs_Man_t_ , Odc_Man_t_ , Res_Man_t_ , Sfm_Ntk_t_
• timeWindow : Abc_RRMan_t_
• tInDrive : Abc_ManTime_t_
• tInDriveDef : Abc_ManTime_t_
• tModules : Abc_Des_t_
• tName2Gate : Mio_LibraryStruct_t_
• tName2Node : ABC_ManagerStruct_t
• tName2Suffix : Ver_Man_t_
• tNode2Name : ABC_ManagerStruct_t
• toDimacs() : Minisat::Solver
• toInt : Minisat::lbool
• toLbool : Minisat::lbool
• Top : ParseStackFnStruct , ParseStackOpStruct
• topOrder : saucy
• TopRef : _reo_unit
• TopRefNew : _reo_unit
• tot_literals : Minisat::Solver , stats_t
• total : cost_struct , inflate_state
• total_in : z_stream_s
• total_in_hi32 : bz_stream
• total_in_lo32 : bz_stream
• total_out : z_stream_s
• total_out_hi32 : bz_stream
• total_out_lo32 : bz_stream
• totalCycles : cycleCtr
• totalFlips : permInfo
• totalSwaps : permInfo
• TotalSwitchingBeg : Mfs_Man_t_
• TotalSwitchingEnd : Mfs_Man_t_
• totCachehits : DdManager
• totCacheMisses : DdManager
• touched : Minisat::SimpSolver
• tOutLoad : Abc_ManTime_t_
• tOutLoadDef : Abc_ManTime_t_
• tPos : DState
• tPush : Pdr_Man_t_
• trail : Minisat::Solver , sat_solver2_t , sat_solver_t
• trail_lim : Minisat::Solver , sat_solver2_t , sat_solver_t
• transition : Literal_t_
• TravId : Aig_Obj_t_ , Dar_LibDat_t_ , Emb_Obj_t_ , Fpga_NodeStruct_t_ , Fraig_NodeStruct_t_ , Ivy_Obj_t_ , Map_NodeStruct_t_ , Nwk_Obj_t_ , Odc_Obj_t_ , Rwr_Node_t_ , Rwt_Node_t_ , Tim_Box_t_ , Tim_Obj_t_
• TravId2 : Fraig_NodeStruct_t_
• tree : avl_generator_struct , DdManager
• treeZ : DdManager
• tReqDef : Abc_ManTime_t_
• tRequired : Fpga_NodeStruct_t_ , Map_NodeStruct_t_ , Nwk_Obj_t_
• True : Abc_ZddObj_
• Truth : Bdc_Ent_t_ , Bdc_Nod_t_ , Mpm_Man_t_
• Truth0 : Mpm_Man_t_
• Truth1 : Mpm_Man_t_
• TruthC : Mpm_Man_t_
• tSat : Pdr_Man_t_
• tSatSat : Pdr_Man_t_
• tSatUnsat : Pdr_Man_t_
• tsense : SC_Timing_
• tSlack : Nwk_Obj_t_
• tt : DState
• tTable : Cut_CMan_t_ , Map_SuperLibStruct_t_ , Super2_ManStruct_t_ , Super_ManStruct_t_
• tTableC : Map_SuperLibStruct_t_
• tTableNN : Rwr_Man5_t_
• tTableNPN : Rwr_Man5_t_
• tTotal : Pdr_Man_t_
• tTsim : Pdr_Man_t_
• tUnique : cloudManager
• Type : Abc_Obj_t_ , Aig_Obj_t_ , Amap_Item_t_ , Amap_Nod_t_ , Amap_Obj_t_ , Amap_Out_t_ , Au_Obj_t_ , Bdc_Fun_t_ , Bdc_Nod_t_ , Dau_Dsd_t_
• type : DdGen , DdNode
• Type : Dsd_Node_t_ , Dss_Obj_t_ , Dua_Obj_t_
• type : EpDoubleStruct
• Type : Hop_Obj_t_ , If_DsdObj_t_ , If_Obj_t_ , Ifd_Obj_t_ , Ifn_Obj_t_ , Ivy_Dec_t_ , Ivy_FraigSim_t_ , Ivy_Obj_t_ , Kit_DsdObj_t_
• type : ltlNode_t
• Type : Nm_Entry_t_ , Nwk_Obj_t_ , Rtm_Obj_t_ , Saig_MvObj_t_ , Saig_SimObj_t_ , Scl_Item_t_ , Str_Obj_t_ , Wlc_Obj_t_
• type_name : Minisat::Option