/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaRetime.c | 49 Gia_ObjSetTravIdCurrent(p, pObj); in Gia_ManMarkAutonomous_rec() 85 Gia_ObjSetTravIdCurrent( p, pObj ); in Gia_ManMarkAutonomous() 206 Gia_ObjSetTravIdCurrent(p, pObj); in Gia_ManRetimeForwardOne() 218 Gia_ObjSetTravIdCurrent(p, pObj); in Gia_ManRetimeForwardOne() 223 Gia_ObjSetTravIdCurrent(p, pObj); in Gia_ManRetimeForwardOne() 236 Gia_ObjSetTravIdCurrent( p, Gia_ObjFanin0(pObj) ); in Gia_ManRetimeForwardOne() 243 Gia_ObjSetTravIdCurrent( p, Gia_ObjFanin1(pObj) ); in Gia_ManRetimeForwardOne()
|
H A D | giaTim.c | 262 Gia_ObjSetTravIdCurrent(p, pObj); in Gia_ManOrderWithBoxes_rec() 306 Gia_ObjSetTravIdCurrent( p, pObj ); in Gia_ManOrderWithBoxes() 347 Gia_ObjSetTravIdCurrent( p, pObj ); in Gia_ManOrderWithBoxes() 465 Gia_ObjSetTravIdCurrent(p, pObj); in Gia_ManLevelWithBoxes_rec() 495 Gia_ObjSetTravIdCurrent( p, pObj ); in Gia_ManLevelWithBoxes() 521 Gia_ObjSetTravIdCurrent( p, pObj ); in Gia_ManLevelWithBoxes() 567 Gia_ObjSetTravIdCurrent(p, pObj); in Gia_ManLutLevelWithBoxes_rec() 600 Gia_ObjSetTravIdCurrent( p, pObj ); in Gia_ManLutLevelWithBoxes() 626 Gia_ObjSetTravIdCurrent( p, pObj ); in Gia_ManLutLevelWithBoxes() 791 Gia_ObjSetTravIdCurrent(p, pObj); in Gia_ManDupCollapse_rec() [all …]
|
H A D | giaSweep.c | 54 Gia_ObjSetTravIdCurrent(p, pObj); in Gia_ManMarkSeqGiaWithBoxes_rec() 79 Gia_ObjSetTravIdCurrent(p, Gia_ManCi(p, iShift + i)); in Gia_ManMarkSeqGiaWithBoxes_rec() 83 Gia_ObjSetTravIdCurrent(p, Gia_ManCo(p, iShift + i)); in Gia_ManMarkSeqGiaWithBoxes_rec() 101 Gia_ObjSetTravIdCurrent( p, Gia_ManConst0(p) ); in Gia_ManMarkSeqGiaWithBoxes() 103 Gia_ObjSetTravIdCurrent( p, Gia_ManPi(p, i) ); in Gia_ManMarkSeqGiaWithBoxes() 108 Gia_ObjSetTravIdCurrent( p, Gia_ManPo(p, i) ); in Gia_ManMarkSeqGiaWithBoxes() 117 Gia_ObjSetTravIdCurrent( p, pObj ); in Gia_ManMarkSeqGiaWithBoxes() 232 Gia_ObjSetTravIdCurrent( p, pObj ); in Gia_ManFraigMarkCis() 240 Gia_ObjSetTravIdCurrent( p, pObj ); in Gia_ManFraigMarkCos() 264 Gia_ObjSetTravIdCurrent( p, Gia_ManConst0(p) ); in Gia_ManFraigCreateGia() [all …]
|
H A D | giaDfs.c | 49 Gia_ObjSetTravIdCurrent(p, pObj); in Gia_ManCollectCis_rec() 77 Gia_ObjSetTravIdCurrent( p, Gia_ManConst0(p) ); in Gia_ManCollectCis() 179 Gia_ObjSetTravIdCurrent(p, pObj); in Gia_ManCollectNodesCis_rec() 209 Gia_ObjSetTravIdCurrent( p, Gia_ManConst0(p) ); in Gia_ManCollectNodesCis() 264 Gia_ObjSetTravIdCurrent(p, pObj); in Gia_ManSuppSize_rec() 329 Gia_ObjSetTravIdCurrent( p, Gia_ManConst0(p) ); in Gia_ManSuppSize() 356 Gia_ObjSetTravIdCurrent(p, pObj); in Gia_ManConeSize_rec() 380 Gia_ObjSetTravIdCurrent( p, Gia_ManConst0(p) ); in Gia_ManConeSize()
|
H A D | giaMffc.c | 153 Gia_ObjSetTravIdCurrent(p, pNode); in Gia_NodeCollect_rec() 199 Gia_ObjSetTravIdCurrent(p, pNode); in Gia_ManDomDerive_rec() 228 Gia_ObjSetTravIdCurrent( p, pObj ); in Gia_ManDomDerive()
|
H A D | giaCone.c | 226 Gia_ObjSetTravIdCurrent(p, pObj); in Gia_ManConeMark_rec() 257 Gia_ObjSetTravIdCurrent( p, Gia_ManConst0(p) ); in Gia_ManConeMark() 292 Gia_ObjSetTravIdCurrent( p, Gia_ManConst0(p) ); in Gia_ManCountFlops()
|
H A D | giaIso.c | 645 Gia_ObjSetTravIdCurrent( p->pGia, Gia_ObjFanin0(pObj) ); in Gia_IsoReportTopmost() 646 Gia_ObjSetTravIdCurrent( p->pGia, Gia_ObjFanin1(pObj) ); in Gia_IsoReportTopmost() 649 Gia_ObjSetTravIdCurrent( p->pGia, Gia_ObjFanin0(Gia_ObjRoToRi(p->pGia, pObj)) ); in Gia_IsoReportTopmost() 859 Gia_ObjSetTravIdCurrent(p, pObj); in Gia_ManFindCaninicalOrder_rec() 940 Gia_ObjSetTravIdCurrent( p, Gia_ManConst0(p) ); in Gia_ManFindCaninicalOrder() 942 Gia_ObjSetTravIdCurrent( p, pObj ); in Gia_ManFindCaninicalOrder()
|
H A D | giaSpeedup.c | 550 Gia_ObjSetTravIdCurrent( p, pObj ); in Gia_ManSpeedupObj_rec() 580 Gia_ObjSetTravIdCurrent( p, Gia_ManConst0(p) ); in Gia_ManSpeedupObj() 582 Gia_ObjSetTravIdCurrent( p, pTemp ); in Gia_ManSpeedupObj()
|
H A D | giaMan.c | 297 Gia_ObjSetTravIdCurrent(p, pObj); in Gia_ManPrintTents_rec() 314 Gia_ObjSetTravIdCurrent( p, Gia_ManConst0(p) ); in Gia_ManPrintTents() 889 Gia_ObjSetTravIdCurrent( p, pObj ); in Gia_ManDfsCollect_rec() 905 Gia_ObjSetTravIdCurrent( p, pObj ); in Gia_ManDfsCollect_rec()
|
H A D | giaEra2.c | 258 Gia_ObjSetTravIdCurrent(p, pObj); in Gia_ManDeriveCiTfo_rec() 290 Gia_ObjSetTravIdCurrent( p, Gia_ManConst0(p) ); in Gia_ManDeriveCiTfoOne() 1396 Gia_ObjSetTravIdCurrent(p, pObj); in Gia_ManAreMostUsedPi_rec() 1456 Gia_ObjSetTravIdCurrent(p, pObj); in Gia_ManCheckPOs_rec()
|
H A D | giaShow.c | 1051 Gia_ObjSetTravIdCurrent(p, pObj); in Gia_ShowCollectObjs_rec() 1097 Gia_ObjSetTravIdCurrent(p, Gia_ManConst0(p)); in Gia_ShowCollectObjs() 1099 Gia_ObjSetTravIdCurrent(p, pObj); in Gia_ShowCollectObjs()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/abs/ |
H A D | absUtil.c | 153 Gia_ObjSetTravIdCurrent(p, pObj); in Gia_FlaConvertToGla_rec() 180 Gia_ObjSetTravIdCurrent(p, Gia_ManConst0(p)); in Gia_FlaConvertToGla() 182 Gia_ObjSetTravIdCurrent(p, pObj); in Gia_FlaConvertToGla() 185 Gia_ObjSetTravIdCurrent(p, pObj); in Gia_FlaConvertToGla()
|
H A D | absRpm.c | 343 Gia_ObjSetTravIdCurrent(p, pObj); in Gia_ManCountPisNodes_rec() 360 Gia_ObjSetTravIdCurrent( p, Gia_ManConst0(p) ); in Gia_ManCountPisNodes() 362 Gia_ObjSetTravIdCurrent( p, pObj ); in Gia_ManCountPisNodes() 462 Gia_ObjSetTravIdCurrent(p, pObj); in Abs_ManSupport1_rec() 496 Gia_ObjSetTravIdCurrent(p, pObj); in Abs_ManSupport2_rec() 513 Gia_ObjSetTravIdCurrent(p, pObj); in Abs_ManSupport2() 562 Gia_ObjSetTravIdCurrent(p, pFan1); in Abs_ManSupport3() 571 Gia_ObjSetTravIdCurrent(p, pFan0); in Abs_ManSupport3()
|
H A D | absRef.c | 108 Gia_ObjSetTravIdCurrent(p, pObj); 338 Gia_ObjSetTravIdCurrent(p, pObj); in Rnm_ManCollect_rec() 357 Gia_ObjSetTravIdCurrent( p->pGia, Gia_ManConst0(p->pGia) ); in Rnm_ManCollect() 362 Gia_ObjSetTravIdCurrent( p->pGia, pObj ); in Rnm_ManCollect()
|
H A D | absRefJ.c | 270 Gia_ObjSetTravIdCurrent(p, pObj); in Rf2_ManCollect_rec() 288 Gia_ObjSetTravIdCurrent( p->pGia, Gia_ManConst0(p->pGia) ); in Rf2_ManCollect() 292 Gia_ObjSetTravIdCurrent( p->pGia, pObj ); in Rf2_ManCollect() 448 Gia_ObjSetTravIdCurrent(p->pGia, pObj); in Rf2_ManGatherFanins_rec()
|
H A D | absGlaOld.c | 223 Gia_ObjSetTravIdCurrent(p, pGiaObj); in Gla_ManCollectInternal_rec() 257 Gia_ObjSetTravIdCurrent( p->pGia, Gia_ManConst0(p->pGia) ); in Gla_ManCollect() 259 Gia_ObjSetTravIdCurrent( p->pGia, pGiaObj ); in Gla_ManCollect() 261 Gia_ObjSetTravIdCurrent( p->pGia, pGiaObj ); in Gla_ManCollect() 267 Gia_ObjSetTravIdCurrent( p->pGia, pGiaObj ); in Gla_ManCollect() 745 Gia_ObjSetTravIdCurrent(p, pObj); in Gia_ManDupMapped_rec() 782 Gia_ObjSetTravIdCurrent( p, pFanin ); in Gia_ManDupMapped() 1174 Gia_ObjSetTravIdCurrent(p, pObj); in Gla_ManTranslate_rec() 1206 Gia_ObjSetTravIdCurrent( p->pGia, Gla_ManGiaObj(p, pFanin) ); in Gla_ManTranslate()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/int2/ |
H A D | int2Util.c | 76 Gia_ObjSetTravIdCurrent(p, pObj); in Int2_ManCollectInternal_rec() 90 Gia_ObjSetTravIdCurrent(p, Gia_ManConst0(p)); in Int2_ManCollectInternal() 92 Gia_ObjSetTravIdCurrent(p, pObj); in Int2_ManCollectInternal()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/ |
H A D | cecPat.c | 145 Gia_ObjSetTravIdCurrent(p, pObj); in Cec_ManPatComputePattern_rec() 174 Gia_ObjSetTravIdCurrent(p, pObj); in Cec_ManPatComputePattern1_rec() 212 Gia_ObjSetTravIdCurrent(p, pObj); in Cec_ManPatComputePattern2_rec() 251 Gia_ObjSetTravIdCurrent(p, pObj); in Cec_ManPatComputePattern3_rec() 297 Gia_ObjSetTravIdCurrent( p, pTemp ); in Cec_ManPatVerifyPattern() 321 Gia_ObjSetTravIdCurrent(p, pObj); in Cec_ManPatComputePattern4_rec()
|
H A D | cecSimBack.c | 85 Gia_ObjSetTravIdCurrent(p, pObj); in Cec_ManCheckSat2_rec() 131 Gia_ObjSetTravIdCurrent(p, pObj); in Cec_ManCheckSat_rec()
|
H A D | cecSolve.c | 413 Gia_ObjSetTravIdCurrent(p->pAig, pObj); in Cec_SetActivityFactors_rec() 881 Gia_ObjSetTravIdCurrent(p, pObj); in Cec_ManSatSolveSeq_rec() 1023 Gia_ObjSetTravIdCurrent(p, pObj); in Cec_ManSatSolveMiter_rec()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/ |
H A D | acecPa.c | 52 Gia_ObjSetTravIdCurrent(p, pObj); in Pas_ManVerifyPhaseOne_rec() 78 Gia_ObjSetTravIdCurrent( p, pObj ); in Pas_ManVerifyPhaseOne() 128 Gia_ObjSetTravIdCurrent(p, pObj); in Pas_ManPhase_rec()
|
H A D | acecUtil.c | 50 Gia_ObjSetTravIdCurrent(pGia, pObj); in Gia_PolynCollectXors_rec()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/ |
H A D | bmcICheck.c | 311 Gia_ObjSetTravIdCurrent(p, pObj); in Bmc_PerformFindFlopOrder_rec() 332 Gia_ObjSetTravIdCurrent( p, Gia_ManConst0(p) ); in Bmc_PerformFindFlopOrder()
|
H A D | bmcBCore.c | 136 Gia_ObjSetTravIdCurrent( p, Gia_ManConst0(p) ); in Bmc_ManBCoreCollect()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wlc/ |
H A D | wlcGraft.c | 378 Gia_ObjSetTravIdCurrent( p, pObj ); in Sbc_ManDetectMult() 386 Gia_ObjSetTravIdCurrent( p, pObj ); in Sbc_ManDetectMult()
|