diff options
Diffstat (limited to 'src/misc/nm')
-rw-r--r-- | src/misc/nm/nmApi.c | 4 | ||||
-rw-r--r-- | src/misc/nm/nmTable.c | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/src/misc/nm/nmApi.c b/src/misc/nm/nmApi.c index 3a9ac074..e44d1ef9 100644 --- a/src/misc/nm/nmApi.c +++ b/src/misc/nm/nmApi.c @@ -46,8 +46,8 @@ Nm_Man_t * Nm_ManCreate( int nSize ) p = ALLOC( Nm_Man_t, 1 ); memset( p, 0, sizeof(Nm_Man_t) ); // set the parameters - p->nSizeFactor = 3; // determined how much larger the table should be compared to data in it - p->nGrowthFactor = 3; // determined how much the table grows after resizing + p->nSizeFactor = 4; // determined how much larger the table should be compared to data in it + p->nGrowthFactor = 4; // determined how much the table grows after resizing // allocate and clean the bins p->nBins = Cudd_PrimeNm(p->nSizeFactor*nSize); p->pBinsI2N = ALLOC( Nm_Entry_t *, p->nBins ); diff --git a/src/misc/nm/nmTable.c b/src/misc/nm/nmTable.c index 65f16e04..4243244d 100644 --- a/src/misc/nm/nmTable.c +++ b/src/misc/nm/nmTable.c @@ -44,7 +44,7 @@ static unsigned Nm_HashString( char * pName, int TableSize ) }; unsigned i, Key = 0; for ( i = 0; pName[i] != '\0'; i++ ) - Key ^= s_Primes[i%10]*pName[i]*pName[i]; + Key ^= s_Primes[i%10]*pName[i]*pName[i]*pName[i]; return Key % TableSize; } |