#include <isl_hash.h>
#include <string.h>
#include <gmp.h>
+#if defined(__cplusplus)
+#include <iostream>
+#endif
#if defined(__cplusplus)
extern "C" {
}
#endif
+#if defined(__cplusplus)
+static inline std::ostream &operator<<(std::ostream &os, isl_int i)
+{
+ char *s;
+ void (*gmp_free)(void *, size_t);
+ s = mpz_get_str(0, 10, i);
+ os << s;
+ mp_get_memory_functions(NULL, NULL, &gmp_free);
+ (*gmp_free)(s, strlen(s)+1);
+ return os;
+}
+#endif
+
#endif