1 #ifndef ISL_DEPRECATED_VAL_INT_H
2 #define ISL_DEPRECATED_VAL_INT_H
4 #include <isl/deprecated/int.h>
7 __isl_give isl_val
*isl_val_int_from_isl_int(isl_ctx
*ctx
, isl_int n
);
8 int isl_val_get_num_isl_int(__isl_keep isl_val
*v
, isl_int
*n
);