Home
last modified time | relevance | path

Searched refs:Gia_ObjRefNum (Results 26 – 32 of 32) sorted by relevance

12

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaEnable.c113 ++Counter, i, Gia_ObjRefNum(p, Gia_ManObj(p,i)), pFreq[i] ); in Gia_ManPrintSignals()
H A DgiaDup.c2190 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 DgiaOf.c181 …Gia_ObjFanin0(pObj)->Value + Gia_ObjFanin1(pObj)->Value + AreaUnit) / Gia_ObjRefNum(p->pGia, pObj)… in Of_ManAreaFlow()
H A Dgia.h590 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 DacecRe.c531 …if ( (pObjM == Gia_ObjFanin0(pObjX) || pObjM == Gia_ObjFanin1(pObjX)) && Gia_ObjRefNum(p, pObjM) =… in Ree_ManRemoveTrivial()
H A DacecFadds.c982 if ( Gia_ObjRefNum(p, pObj) > 0 ) in Gia_ManDupWithArtificalFaddBoxes()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/
H A DcecSat.c285 (!fFirst && (p->pRefs ? Gia_ObjRefNum(p, pObj) : Gia_ObjValue(pObj)) > 1) || in Cec2_CollectSuper_rec()

12