File indexing completed on 2026-05-10 08:48:19
0001 #ifndef ISL_VAL_GMP_H
0002 #define ISL_VAL_GMP_H
0003
0004 #include <gmp.h>
0005 #include <isl/val_type.h>
0006
0007 #if defined(__cplusplus)
0008 extern "C" {
0009 #endif
0010
0011 __isl_give isl_val *isl_val_int_from_gmp(isl_ctx *ctx, mpz_t z);
0012 __isl_give isl_val *isl_val_from_gmp(isl_ctx *ctx,
0013 const mpz_t n, const mpz_t d);
0014 int isl_val_get_num_gmp(__isl_keep isl_val *v, mpz_t z);
0015 int isl_val_get_den_gmp(__isl_keep isl_val *v, mpz_t z);
0016
0017 #if defined(__cplusplus)
0018 }
0019 #endif
0020
0021 #endif
