1 #ifndef ISL_VAL_GMP_H 2 #define ISL_VAL_GMP_H 3 4 #include <gmp.h> 5 #include <isl/val_type.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 22