bound.c: use isl_val instead of isl_int
[isl.git] / isl_imath.h
blob9efbe319ee2ee73132cbf3255c943f503b0d91db
1 #include <imath.h>
2 #include <gmp_compat.h>
4 uint32_t isl_imath_hash(mp_int v, uint32_t hash);
5 int isl_imath_fits_ulong_p(mp_int op);
6 int isl_imath_fits_slong_p(mp_int op);
7 void isl_imath_addmul_ui(mp_int rop, mp_int op1, unsigned long op2);
8 void isl_imath_submul_ui(mp_int rop, mp_int op1, unsigned long op2);
9 void isl_imath_cdiv_q_ui(mp_int rop, mp_int op1, unsigned long op2);
10 void isl_imath_fdiv_q_ui(mp_int rop, mp_int op1, unsigned long op2);