Details | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 14 | pmbaty | 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 |