Searched refs:isl_val_get_num_gmp (Results 1 – 3 of 3) sorted by relevance
14 int isl_val_get_num_gmp(__isl_keep isl_val *v, mpz_t z);
41 int isl_val_get_num_gmp(__isl_keep isl_val *v, mpz_t z) in isl_val_get_num_gmp() function
875 int isl_val_get_num_gmp(__isl_keep isl_val *v, mpz_t z);