=head3 Conversion from C<isl_int>
-The following function is only temporarily available to ease
-the transition from C<isl_int> to C<isl_val>. It will be removed
+The following functions are only temporarily available to ease
+the transition from C<isl_int> to C<isl_val>. They will be removed
in the next release.
#include <isl/val_int.h>
__isl_give isl_val *isl_val_int_from_isl_int(isl_ctx *ctx,
isl_int n);
+ int isl_val_get_num_isl_int(__isl_keep isl_val *v,
+ isl_int *n);
=head2 Integers (obsolescent)
return isl_int_get_si(v->n);
}
+/* Extract the numerator of a rational value "v" as an isl_int.
+ *
+ * If "v" is not a rational value, then the result is undefined.
+ */
+int isl_val_get_num_isl_int(__isl_keep isl_val *v, isl_int *n)
+{
+ if (!v)
+ return -1;
+ if (!isl_val_is_rat(v))
+ isl_die(isl_val_get_ctx(v), isl_error_invalid,
+ "expecting rational value", return -1);
+ isl_int_set(*n, v->n);
+ return 0;
+}
+
/* Extract the denominator of a rational value "v" as an integer.
*
* If "v" is not a rational value, then the result is undefined.