Home
last modified time | relevance | path

Searched refs:Gia_ObjSetTravIdCurrent (Results 1 – 25 of 39) sorted by relevance

12

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaRetime.c49 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 DgiaTim.c262 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 DgiaSweep.c54 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 DgiaDfs.c49 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 DgiaMffc.c153 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 DgiaCone.c226 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 DgiaIso.c645 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 DgiaSpeedup.c550 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 DgiaMan.c297 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 DgiaEra2.c258 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 DgiaShow.c1051 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 DabsUtil.c153 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 DabsRpm.c343 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 DabsRef.c108 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 DabsRefJ.c270 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 DabsGlaOld.c223 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 Dint2Util.c76 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 DcecPat.c145 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 DcecSimBack.c85 Gia_ObjSetTravIdCurrent(p, pObj); in Cec_ManCheckSat2_rec()
131 Gia_ObjSetTravIdCurrent(p, pObj); in Cec_ManCheckSat_rec()
H A DcecSolve.c413 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 DacecPa.c52 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 DacecUtil.c50 Gia_ObjSetTravIdCurrent(pGia, pObj); in Gia_PolynCollectXors_rec()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/
H A DbmcICheck.c311 Gia_ObjSetTravIdCurrent(p, pObj); in Bmc_PerformFindFlopOrder_rec()
332 Gia_ObjSetTravIdCurrent( p, Gia_ManConst0(p) ); in Bmc_PerformFindFlopOrder()
H A DbmcBCore.c136 Gia_ObjSetTravIdCurrent( p, Gia_ManConst0(p) ); in Bmc_ManBCoreCollect()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wlc/
H A DwlcGraft.c378 Gia_ObjSetTravIdCurrent( p, pObj ); in Sbc_ManDetectMult()
386 Gia_ObjSetTravIdCurrent( p, pObj ); in Sbc_ManDetectMult()

12