hashValue()

auto newf4::MonomialHashFunction::hashValue ( const MonomialView & w ) ->HashInt

inline

Definition at line 88 of file MonomialHashTable.hpp.

    {
      HashInt val = 0;
      for (auto i = w.begin(); i != w.end(); ++i)
        // TODO: check that the variables are in range in mHashValues.
        //  if not, increase the size by adding in new HashInt's (uint64_t).
        // val += mHashValues[(*i)%64] * (*(i+1));
        val += mHashValues[i.var() % 64] * i.power();
      return val;
    }

References mHashValues.