1#include <imath.h>
2#include <gmp_compat.h>
3
4uint32_t isl_imath_hash(mp_int v, uint32_t hash);
5int isl_imath_fits_ulong_p(mp_int op);
6int isl_imath_fits_slong_p(mp_int op);
7void isl_imath_addmul_ui(mp_int rop, mp_int op1, unsigned long op2);
8void isl_imath_submul_ui(mp_int rop, mp_int op1, unsigned long op2);
9void isl_imath_cdiv_q_ui(mp_int rop, mp_int op1, unsigned long op2);
10void isl_imath_fdiv_q_ui(mp_int rop, mp_int op1, unsigned long op2);
11

source code of polly/lib/External/isl/isl_imath.h