diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-03-31 07:51:02 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-03-31 07:51:02 -0700 |
| commit | ecbb5c4d0c061f09cd91189f56529e6f94cd2a3c (patch) | |
| tree | 48b1b5b0861bffd21a34db9b20018ec5a14c3b23 /src/misc/vec | |
| parent | 04bd8631e095eb391cd44370b0c6a3c9c56ce60f (diff) | |
| download | abc-ecbb5c4d0c061f09cd91189f56529e6f94cd2a3c.tar.gz abc-ecbb5c4d0c061f09cd91189f56529e6f94cd2a3c.tar.bz2 abc-ecbb5c4d0c061f09cd91189f56529e6f94cd2a3c.zip | |
Bug fix in hashing.
Diffstat (limited to 'src/misc/vec')
| -rw-r--r-- | src/misc/vec/vecHsh.h | 6 |
1 files changed, 5 insertions, 1 deletions
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; } } |