abc70930: Data Fields

- t -

t : cloudNode , Kit_Mux_t_
T : DdChildren
Table : Dsd_Manager_t_
table : ApproxInfo , st_generator , stmm_generator
tagged : sat_solver_t
tags : sat_solver_t
tAliases : Abc_Frame_t_
tAreaMax : Super_ManStruct_t_
tArrDef : Abc_ManTime_t_
tArrival : Fpga_CutStruct_t_ , Map_NodeStruct_t_
tArrive : Map_MatchStruct_t_
tCaches : cloudManager
tCommands : Abc_Frame_t_
tDelayInv : Map_SuperLibStruct_t_
tDelayMax : Map_SuperStruct_t_ , Super_ManStruct_t_ , Super_GateStruct_t_
tDelaysF : Map_SuperStruct_t_
tDelaysR : Map_SuperStruct_t_
temp : cube_struct
Temp : Rtm_Obj_t_
tFlags : Abc_Frame_t_
threshold : AssortedInfo
thresholdReached : AssortedInfo
Time : Super_ManStruct_t_
time : _CSAT_Target_ResultT
time1 : Dar_Man_t_ , Fra_Man_t_ , Hop_Man_t_ , Ivy_Man_t_ , Ivy_FraigMan_t_ , Fpga_ManStruct_t_ , Map_ManStruct_t_ , Fraig_ManStruct_t_ , Aig_Man_t_
time2 : Aig_Man_t_ , Dar_Man_t_ , Fra_Man_t_ , Hop_Man_t_ , Ivy_Man_t_ , Ivy_FraigMan_t_ , Fpga_ManStruct_t_ , Map_ManStruct_t_ , Fraig_ManStruct_t_
time3 : Map_ManStruct_t_ , Fraig_ManStruct_t_
time4 : Fraig_ManStruct_t_
timeAbort : Odc_Man_t_
timeActual : Aig_TObj_t_
timeAig : Res_Man_t_
timeArea : Map_ManStruct_t_
timeBcp : Int_Man_t_ , Pr_Man_t_
timeBdd : Abc_ManRef_t_ , Abc_ManRst_t_
timeCand : Res_Man_t_
timeCanon : Abc_ManRec_t_ , Cut_CMan_t_
timeClean : Odc_Man_t_
timeCollect : Abc_ManRec_t_
TimeCommand : Abc_Frame_t_
timeCount : Sym_Man_t_
timeCut : Rwt_Man_t_ , Abc_ManRef_t_ , Abc_ManRst_t_ , Abc_ManRes_t_ , Rwr_Man_t_
timeCuts : Cnf_Man_t_ , Csw_Man_t_ , Dar_Man_t_ , Ref_Man_t_ , Fpga_ManStruct_t_ , Map_ManStruct_t_ , Lpk_Man_t_
timeDcs : Abc_ManRef_t_
timeDiv : Abc_ManRes_t_ , Res_Man_t_
timeDsd : Abc_ManRst_t_
timeEval : Dar_Man_t_ , Ref_Man_t_ , Rwt_Man_t_ , Abc_ManRef_t_ , Abc_ManRst_t_ , Lpk_Man_t_ , Rwr_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_
timeFraig : Fra_Lcr_t_ , Sym_Man_t_ , Sim_Man_t_
timeHash : Csw_Man_t_ , Cut_ManStruct_t_
timeImply : Fraig_ManStruct_t_
timeInt : Res_Man_t_
TimeLimit : Fpga_ManStruct_t_ , Super_ManStruct_t_
timeMap : Cnf_Man_t_ , Cut_ManStruct_t_ , Lpk_Man_t_
timeMatch : Fpga_ManStruct_t_ , Map_ManStruct_t_
timeMatr : Sym_Man_t_
timeMerge : Cut_ManStruct_t_
timeMffc : Rwt_Man_t_ , Abc_ManRes_t_ , Rwr_Man_t_
timeMiter : Odc_Man_t_ , Abc_RRMan_t_
timeNtk : Abc_ManRef_t_ , Abc_ManRst_t_ , Abc_ManRes_t_
timeOffset : Aig_TObj_t_
timeOther : Csw_Man_t_ , Dar_Man_t_ , Ref_Man_t_ , Abc_ManRec_t_ , Lpk_Man_t_
timePart : Fra_Lcr_t_
TimePrint : Super_ManStruct_t_
timeProve : Abc_RRMan_t_
timeQuant : Odc_Man_t_
timeRead : Pr_Man_t_
timeRecover : Fpga_ManStruct_t_
timeRef : Fra_Man_t_ , Ivy_FraigMan_t_
timeRes : Rwt_Man_t_ , Abc_ManRef_t_ , Abc_ManRst_t_ , Abc_ManRes_t_ , Rwr_Man_t_
timeRes1 : Abc_ManRes_t_
timeRes2 : Abc_ManRes_t_
timeRes3 : Abc_ManRes_t_
timeResD : Abc_ManRes_t_
timeRwr : Fra_Man_t_
timeSat : Fra_Man_t_ , Ivy_FraigMan_t_ , Res_Sim_t_ , Sym_Man_t_ , Sim_Man_t_ , Fraig_ManStruct_t_
timeSatFail : Fra_Man_t_ , Ivy_FraigMan_t_
timeSatSat : Res_Man_t_ , Fra_Man_t_ , Ivy_FraigMan_t_
timeSatSim : Res_Man_t_
timeSatTotal : Res_Man_t_
timeSatUnsat : Ivy_FraigMan_t_ , Fra_Man_t_ , Res_Man_t_
timeSave : Cnf_Man_t_
TimeSec : Super_ManStruct_t_
timeSim : Odc_Man_t_ , Fra_Sml_t_ , Fra_Man_t_ , Fra_Lcr_t_ , Ivy_FraigMan_t_ , Abc_ManRes_t_ , Res_Man_t_ , Sym_Man_t_ , Sim_Man_t_
timeSims : Fraig_ManStruct_t_
timeSop : Abc_ManRef_t_
timeStart : Rwt_Man_t_ , Rwr_Man_t_
TimeStop : Super_ManStruct_t_
timeStruct : Sym_Man_t_
timeSupp : Cut_CMan_t_
timeSupps : Lpk_Man_t_
timeSweep : Map_ManStruct_t_
timeTable : Cut_CMan_t_
timeToAig : Fraig_ManStruct_t_
timeToMap : Map_ManStruct_t_ , Fpga_ManStruct_t_
timeToNet : Fpga_ManStruct_t_ , Map_ManStruct_t_ , Fraig_ManStruct_t_
timeTotal : Fpga_ManStruct_t_ , Pr_Man_t_ , Fraig_ManStruct_t_ , Int_Man_t_ , Sym_Man_t_ , Cut_OracleStruct_t_ , Map_ManStruct_t_ , Csw_Man_t_ , Abc_ManRst_t_ , Abc_ManRef_t_ , Dar_Man_t_ , Res_Man_t_ , Abc_ManRes_t_ , Fra_Lcr_t_ , Ivy_FraigMan_t_ , Rwt_Man_t_ , Abc_ManRec_t_ , Odc_Man_t_ , Abc_RRMan_t_ , Lpk_Man_t_ , Rwr_Man_t_ , Fra_Man_t_ , Sim_Man_t_
TimeTotal : Abc_Frame_t_
timeTotal : Ref_Man_t_
timeTrace : Pr_Man_t_ , Int_Man_t_
timeTrav : Ivy_FraigMan_t_ , Fraig_ManStruct_t_ , Sim_Man_t_ , Fra_Man_t_ , Fra_Lcr_t_
timeTruth : Lpk_Man_t_ , Odc_Man_t_ , Abc_ManRes_t_ , Abc_ManRec_t_ , Rwt_Man_t_ , Fpga_ManStruct_t_ , Map_ManStruct_t_ , Cut_ManStruct_t_
timeTruth2 : Lpk_Man_t_
timeTruth3 : Lpk_Man_t_
timeUnion : Cut_ManStruct_t_
timeUpd : Res_Man_t_
timeUpdate : Rwt_Man_t_ , Fra_Lcr_t_ , Abc_RRMan_t_ , Rwr_Man_t_
timeWin : Odc_Man_t_ , Res_Man_t_
timeWindow : Abc_RRMan_t_
tModules : Abc_Lib_t_
tName2Gate : Mio_LibraryStruct_t_
tName2Node : ABC_ManagerStruct_t
tName2Suffix : Ver_Man_t_
tNode2Name : ABC_ManagerStruct_t
Top : ParseStackOpStruct , ParseStackFnStruct
TopRef : _reo_unit
TopRefNew : _reo_unit
tot_literals : stats_t
total : cost_struct
totCachehits : DdManager
totCacheMisses : DdManager
trail : sat_solver_t
trail_lim : sat_solver_t
TravId : Dar_LibDat_t_ , Odc_Obj_t_ , Abc_Obj_t_ , Aig_Obj_t_ , Fpga_NodeStruct_t_ , Ivy_Obj_t_ , Rwr_Node_t_ , Map_NodeStruct_t_ , Rwt_Node_t_ , Aig_TBox_t_ , Fraig_NodeStruct_t_
TravId2 : Fraig_NodeStruct_t_
tree : DdManager
treeZ : DdManager
tReqDef : Abc_ManTime_t_
tRequired : Fpga_NodeStruct_t_ , Map_NodeStruct_t_
tTable : Cut_CMan_t_ , Super_ManStruct_t_ , Map_SuperLibStruct_t_ , Super2_ManStruct_t_
tTableC : Map_SuperLibStruct_t_
tTableNN : Rwr_Man5_t_
tTableNPN : Rwr_Man5_t_
tUnique : cloudManager
Type : Aig_Obj_t_
type : EpDoubleStruct
Type : Kit_DsdObj_t_ , Ivy_Obj_t_ , Dsd_Node_t_ , If_Obj_t_
type : DdGen
Type : Rtm_Obj_t_ , Nm_Entry_t_ , Bdc_Fun_t_ , Ivy_FraigSim_t_ , Hop_Obj_t_ , Ivy_Dec_t_ , Abc_Obj_t_
type : DdNode