From ace340997bfbbbae838c5f06956d06511739f37d Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 22 Mar 2014 16:24:44 -0700 Subject: Experiments with mapping. --- src/map/if/ifCache.c | 22 ---------------------- 1 file changed, 22 deletions(-) (limited to 'src/map/if/ifCache.c') 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************************************************************* -- cgit v1.2.3