Blame |
    Last modification |
    View Log
    | Download
    | RSS feed
  
  
- #ifndef ISL_VAL_GMP_H 
- #define ISL_VAL_GMP_H 
-   
- #include <gmp.h> 
- #include <isl/val_type.h> 
-   
- #if defined(__cplusplus) 
- extern "C" { 
- #endif 
-   
- __isl_give isl_val *isl_val_int_from_gmp(isl_ctx *ctx, mpz_t z); 
- __isl_give isl_val *isl_val_from_gmp(isl_ctx *ctx, 
-         const mpz_t n, const mpz_t d); 
- int isl_val_get_num_gmp(__isl_keep isl_val *v, mpz_t z); 
- int isl_val_get_den_gmp(__isl_keep isl_val *v, mpz_t z); 
-   
- #if defined(__cplusplus) 
- } 
- #endif 
-   
- #endif 
-