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 #if defined(__cplusplus)
   8 extern "C" {
   9 #endif
  10
  11 __isl_give isl_val *isl_val_int_from_gmp(isl_ctx *ctx, mpz_t z);
  12 __isl_give isl_val *isl_val_from_gmp(isl_ctx *ctx,
  13         const mpz_t n, const mpz_t d);
  14 int isl_val_get_num_gmp(__isl_keep isl_val *v, mpz_t z);
  15 int isl_val_get_den_gmp(__isl_keep isl_val *v, mpz_t z);
  16
  17 #if defined(__cplusplus)
  18 }
  19 #endif
  20
  21 #endif