1 #ifndef ISL_VAL_PRIVATE_H
2 #define ISL_VAL_PRIVATE_H
7 /* Represents a "value", which may be an integer value, a rational value,
8 * plus or minus infinity or "not a number".
10 * Internally, +infinity is represented as 1/0,
11 * -infinity as -1/0 and NaN as 0/0.
13 * A rational value is always normalized before it is passed to the user.
26 #include <isl_list_templ.h>
28 __isl_give isl_val
*isl_val_alloc(isl_ctx
*ctx
);
29 __isl_give isl_val
*isl_val_normalize(__isl_take isl_val
*v
);
30 __isl_give isl_val
*isl_val_int_from_isl_int(isl_ctx
*ctx
, isl_int n
);
31 __isl_give isl_val
*isl_val_rat_from_isl_int(isl_ctx
*ctx
,
32 isl_int n
, isl_int d
);
33 __isl_give isl_val
*isl_val_cow(__isl_take isl_val
*val
);