diff options
Diffstat (limited to 'src/util/integer.h')
-rw-r--r-- | src/util/integer.h | 14 |
1 files changed, 2 insertions, 12 deletions
diff --git a/src/util/integer.h b/src/util/integer.h index c1e5d90ea..2aa8b711a 100644 --- a/src/util/integer.h +++ b/src/util/integer.h @@ -18,22 +18,12 @@ #ifndef __CVC4__INTEGER_H #define __CVC4__INTEGER_H -#include <gmpxx.h> #include <string> +#include <iostream> +#include "util/gmp_util.h" namespace CVC4 { -/** Hashes the gmp integer primitive in a word by word fashion. */ -inline size_t gmpz_hash(const mpz_t toHash){ - size_t hash = 0; - for (int i=0, n=mpz_size(toHash); i<n; ++i){ - mp_limb_t limb = mpz_getlimbn(toHash, i); - hash = hash * 2; - hash = hash xor limb; - } - return hash; -} - class Rational; class Integer { |