From ecbb5c4d0c061f09cd91189f56529e6f94cd2a3c Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 31 Mar 2017 07:51:02 -0700 Subject: Bug fix in hashing. --- src/misc/vec/vecHsh.h | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'src/misc/vec') diff --git a/src/misc/vec/vecHsh.h b/src/misc/vec/vecHsh.h index 52289231..de9a038a 100644 --- a/src/misc/vec/vecHsh.h +++ b/src/misc/vec/vecHsh.h @@ -124,6 +124,10 @@ static inline void Hsh_IntManStop( Hsh_IntMan_t * p ) Vec_WrdFree( p->vObjs ); ABC_FREE( p ); } +static inline int Hsh_IntManEntryNum( Hsh_IntMan_t * p ) +{ + return Vec_WrdSize(p->vObjs); +} /**Function************************************************************* @@ -164,7 +168,7 @@ static inline int Hsh_IntManAdd( Hsh_IntMan_t * p, int iData ) Vec_IntFill( p->vTable, Abc_PrimeCudd(2*Vec_IntSize(p->vTable)), -1 ); for ( i = 0; i < Vec_WrdSize(p->vObjs); i++ ) { - pPlace = Vec_IntEntryP( p->vTable, Hsh_IntManHash(Hsh_IntData(p, i), p->nSize, Vec_IntSize(p->vTable)) ); + pPlace = Vec_IntEntryP( p->vTable, Hsh_IntManHash(Hsh_IntData(p, Hsh_IntObj(p, i)->iData), p->nSize, Vec_IntSize(p->vTable)) ); Hsh_IntObj(p, i)->iNext = *pPlace; *pPlace = i; } } -- cgit v1.2.3