diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-02 20:20:46 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-02 20:20:46 -0700 |
commit | aa705a9af63b3c3859345311693eb50fbf751cb7 (patch) | |
tree | 5705dc042ad799a324719f0b3786b5038b1a2b0c /src/aig/gia/giaCof.c | |
parent | 49267fd379e35de2884a9b369017d420b7b22270 (diff) | |
download | abc-aa705a9af63b3c3859345311693eb50fbf751cb7.tar.gz abc-aa705a9af63b3c3859345311693eb50fbf751cb7.tar.bz2 abc-aa705a9af63b3c3859345311693eb50fbf751cb7.zip |
Renamed reference counting APIs in GIA package.
Diffstat (limited to 'src/aig/gia/giaCof.c')
-rw-r--r-- | src/aig/gia/giaCof.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/aig/gia/giaCof.c b/src/aig/gia/giaCof.c index d41b6723..e9fd6c8b 100644 --- a/src/aig/gia/giaCof.c +++ b/src/aig/gia/giaCof.c @@ -143,7 +143,7 @@ Cof_Man_t * Cof_ManCreateLogicSimple( Gia_Man_t * pGia ) pObj->Value = iHandle; pObjLog = Cof_ManObj( p, iHandle ); pObjLog->nFanins = 0; - pObjLog->nFanouts = Gia_ObjRefs( pGia, pObj ); + pObjLog->nFanouts = Gia_ObjRefNum( pGia, pObj ); pObjLog->Id = i; pObjLog->Value = 0; if ( Gia_ObjIsAnd(pObj) ) @@ -811,7 +811,7 @@ Vec_Int_t * Gia_ManCofVars( Gia_Man_t * p, int nFanLim ) Gia_ManCreateRefs( p ); vVars = Vec_IntAlloc( 100 ); Gia_ManForEachObj( p, pObj, i ) - if ( Gia_ObjIsCand(pObj) && Gia_ObjRefs(p, pObj) >= nFanLim ) + if ( Gia_ObjIsCand(pObj) && Gia_ObjRefNum(p, pObj) >= nFanLim ) Vec_IntPush( vVars, i ); ABC_FREE( p->pRefs ); return vVars; @@ -877,7 +877,7 @@ Gia_Man_t * Gia_ManDupCofAllInt( Gia_Man_t * p, Vec_Int_t * vSigs, int fVerbose Vec_IntSort( vSigsNew, 0 ); iVar = Vec_IntPop( vSigsNew ); // Gia_ManCreateRefs( pAig ); -// printf( "ref count = %d\n", Gia_ObjRefs( pAig, Gia_ManObj(pAig, iVar) ) ); +// printf( "ref count = %d\n", Gia_ObjRefNum( pAig, Gia_ManObj(pAig, iVar) ) ); // ABC_FREE( pAig->pRefs ); pCof = Gia_ManDupCofInt( pAig, iVar ); pNew = Gia_ManCleanup( pCof ); |