diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-01 15:06:28 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-01 15:06:28 -0700 |
| commit | 2cc51b4f75a1f418cee8145c9f1bc7ba8ea5a1dc (patch) | |
| tree | 2f4cbeba44a67869c76c05a36945db612a013db0 /src | |
| parent | 71f67ef91e3cdcc13f8357e448a3185bfc1b81e4 (diff) | |
| download | abc-2cc51b4f75a1f418cee8145c9f1bc7ba8ea5a1dc.tar.gz abc-2cc51b4f75a1f418cee8145c9f1bc7ba8ea5a1dc.tar.bz2 abc-2cc51b4f75a1f418cee8145c9f1bc7ba8ea5a1dc.zip | |
Other improvements to bmc2 and bmc3.
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/saig/saigBmc3.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/aig/saig/saigBmc3.c b/src/aig/saig/saigBmc3.c index 309403fc..fac50264 100644 --- a/src/aig/saig/saigBmc3.c +++ b/src/aig/saig/saigBmc3.c @@ -43,7 +43,7 @@ struct Gia_ManBmc_t_ Vec_Ptr_t * vTerInfo; // ternary information Vec_Ptr_t * vId2Var; // SAT vars for each object // hash table - unsigned * pTable; + int * pTable; int nTable; int nHashHit; int nHashMiss; @@ -1009,9 +1009,9 @@ static inline unsigned Saig_ManBmcHashKey( unsigned * pArray ) Key += pArray[i] * s_Primes[i]; return Key; } -static inline int * Saig_ManBmcLookup( Gia_ManBmc_t * p, unsigned * pArray ) +static inline int * Saig_ManBmcLookup( Gia_ManBmc_t * p, int * pArray ) { - unsigned * pTable = p->pTable + 6 * (Saig_ManBmcHashKey(pArray) % p->nTable); + int * pTable = p->pTable + 6 * (Saig_ManBmcHashKey(pArray) % p->nTable); if ( memcmp( pTable, pArray, 20 ) ) { if ( pTable[0] == 0 ) @@ -1024,7 +1024,7 @@ static inline int * Saig_ManBmcLookup( Gia_ManBmc_t * p, unsigned * pArray ) else p->nHashHit++; assert( pTable + 5 < pTable + 6 * p->nTable ); - return (int *)(pTable + 5); + return pTable + 5; } /**Function************************************************************* |