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