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/giaIf.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/giaIf.c')
| -rw-r--r-- | src/aig/gia/giaIf.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c index 3fc5c04e..13e4f429 100644 --- a/src/aig/gia/giaIf.c +++ b/src/aig/gia/giaIf.c @@ -153,7 +153,7 @@ If_Man_t * Gia_ManToIf( Gia_Man_t * p, If_Par_t * pPars, Vec_Ptr_t * vAigToIf ) // set up the choice node /* // if ( p->pReprs && p->pNexts && Gia_ObjIsHead( p, i ) ) - if ( p->pNexts && Gia_ObjNext(p, i) && Gia_ObjRefsId(p, i) ) + if ( p->pNexts && Gia_ObjNext(p, i) && Gia_ObjRefNumId(p, i) ) { int iPrev, iFanin; pIfMan->nChoices++; @@ -509,7 +509,7 @@ void Gia_ManPrintNpnClasses( Gia_Man_t * p ) Gia_LutForEachFanin( p, i, iFan, k ) { Counter += (pLutClass[iFan] == 109); - Counter2 += (pLutClass[iFan] == 109) && (Gia_ObjRefsId(p, iFan) == 1); + Counter2 += (pLutClass[iFan] == 109) && (Gia_ObjRefNumId(p, iFan) == 1); } OtherClasses += (Counter > 1); OtherClasses2 += (Counter2 > 1); |