20 #ifndef __CVC4__GMP_UTIL_H 21 #define __CVC4__GMP_UTIL_H 30 for (
int i = 0, n = mpz_size(toHash); i < n; ++i){
31 mp_limb_t limb = mpz_getlimbn(toHash, i);
size_t gmpz_hash(const mpz_t toHash)
Hashes the gmp integer primitive in a word by word fashion.
Macros that should be defined everywhere during the building of the libraries and driver binary...