diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-22 16:24:44 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-22 16:24:44 -0700 |
| commit | ace340997bfbbbae838c5f06956d06511739f37d (patch) | |
| tree | 91fbf3c0a3dca0f938d294a1e4048403ddc1f194 /src/map/if/ifCache.c | |
| parent | c86a13f0b56b061fd0841efd080758fc3b77c53e (diff) | |
| download | abc-ace340997bfbbbae838c5f06956d06511739f37d.tar.gz abc-ace340997bfbbbae838c5f06956d06511739f37d.tar.bz2 abc-ace340997bfbbbae838c5f06956d06511739f37d.zip | |
Experiments with mapping.
Diffstat (limited to 'src/map/if/ifCache.c')
| -rw-r--r-- | src/map/if/ifCache.c | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/src/map/if/ifCache.c b/src/map/if/ifCache.c index 231e495c..d0da8c18 100644 --- a/src/map/if/ifCache.c +++ b/src/map/if/ifCache.c @@ -54,28 +54,6 @@ void If_ManCacheRecord( If_Man_t * p, int iDsd0, int iDsd1, int nShared, int iDs Vec_IntPush( p->vCutData, iDsd ); // printf( "%6d %6d %6d %6d\n", iDsd0, iDsd1, nShared, iDsd ); } - -/**Function************************************************************* - - Synopsis [] - - Description [] - - SideEffects [] - - SeeAlso [] - -***********************************************************************/ -static inline int Vec_IntCountUnique( Vec_Int_t * p ) -{ - int i, Count = 0, Max = Vec_IntFindMax(p); - unsigned char * pPres = ABC_CALLOC( unsigned char, Max+1 ); - for ( i = 0; i < p->nSize; i++ ) - if ( pPres[p->pArray[i]] == 0 ) - pPres[p->pArray[i]] = 1, Count++; - ABC_FREE( pPres ); - return Count; -} /**Function************************************************************* |