include/isl/val_gmp.h

   1 #ifndef ISL_VAL_GMP_H
   2 #define ISL_VAL_GMP_H
   3
   4 #include <gmp.h>
   5 #include <isl/val.h>
   6
   7 __isl_give isl_val *isl_val_int_from_gmp(isl_ctx *ctx, mpz_t z);
   8 __isl_give isl_val *isl_val_from_gmp(isl_ctx *ctx,
   9         const mpz_t n, const mpz_t d);
  10 int isl_val_get_num_gmp(__isl_keep isl_val *v, mpz_t z);
  11 int isl_val_get_den_gmp(__isl_keep isl_val *v, mpz_t z);
  12
  13 #endif