abc/src/base/abci/abcNpn.c
// returns hash key of the truth table
returns hash key of the truth table
returns hash key of the truth table
static inline int Abc_TruthHashKey( word * pFunc, int nWords, int nTableSize )
{
    static unsigned s_BigPrimes[7] = {12582917, 25165843, 50331653, 100663319, 201326611, 402653189, 805306457};
    int w;
    word Key = 0;
    for ( w = 0; w < nWords; w++ )
        Key += pFunc[w] * s_BigPrimes[w % 7];
    return (int)(Key % nTableSize);
}
static inline int Abc_TruthHashKey ( word * pFunc , int nWords , int nTableSize ) { static unsigned s_BigPrimes [ 7 ] = { 12582917 , 25165843 , 50331653 , 100663319 , 201326611 , 402653189 , 805306457 } ; int w ; word Key = 0 ; for ( w = 0 ; w < nWords ; w ++ ) Key += pFunc [ w ] * s_BigPrimes [ w % 7 ] ; return ( int ) ( Key % nTableSize ) ; }
returns hash key of the truth table
returns hash key of the truth table