| Revision: | 1166 |
| Committed: | Tue Oct 26 14:22:36 2021 UTC (4 years ago) by rossy |
| Content type: | text/x-chdr |
| File size: | 440 byte(s) |
| Log Message: | Daodan: Replace MinGW build env with an up-to-date MSYS2 env |
| # | Content |
|---|---|
| 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 |