Searched refs:Gia_ObjRefNum (Results 26 – 32 of 32) sorted by relevance
12
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaEnable.c | 113 ++Counter, i, Gia_ObjRefNum(p, Gia_ManObj(p,i)), pFreq[i] ); in Gia_ManPrintSignals()
|
H A D | giaDup.c | 2190 if ( !fTrimCis || Gia_ObjRefNum(p, pObj) ) in Gia_ManDupTrimmed() 2198 if ( !fTrimCis || Gia_ObjRefNum(p, pObj) || Gia_ObjIsRo(p, pObj) ) in Gia_ManDupTrimmed() 2271 if ( Gia_ObjRefNum(p, pObj) ) in Gia_ManDupTrimmed2() 2279 if ( Gia_ObjRefNum(p, pObj) || Gia_ObjIsRo(p, pObj) ) in Gia_ManDupTrimmed2()
|
H A D | giaOf.c | 181 …Gia_ObjFanin0(pObj)->Value + Gia_ObjFanin1(pObj)->Value + AreaUnit) / Gia_ObjRefNum(p->pGia, pObj)… in Of_ManAreaFlow()
|
H A D | gia.h | 590 static inline int Gia_ObjRefNum( Gia_Man_t * p, Gia_Obj_t * pObj ) { return Gia_Obj… in Gia_ObjRefNum() function
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/ |
H A D | acecRe.c | 531 …if ( (pObjM == Gia_ObjFanin0(pObjX) || pObjM == Gia_ObjFanin1(pObjX)) && Gia_ObjRefNum(p, pObjM) =… in Ree_ManRemoveTrivial()
|
H A D | acecFadds.c | 982 if ( Gia_ObjRefNum(p, pObj) > 0 ) in Gia_ManDupWithArtificalFaddBoxes()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/ |
H A D | cecSat.c | 285 (!fFirst && (p->pRefs ? Gia_ObjRefNum(p, pObj) : Gia_ObjValue(pObj)) > 1) || in Cec2_CollectSuper_rec()
|
12