1 #ifndef ISL_VAL_PRIVATE_H 2 #define ISL_VAL_PRIVATE_H 3 4 #include <isl_int.h> 5 #include <isl/val.h> 6 #include <isl/local_space.h> 7 #include <isl_reordering.h> 8 9 /* Represents a "value", which may be an integer value, a rational value, 10 * plus or minus infinity or "not a number". 11 * 12 * Internally, +infinity is represented as 1/0, 13 * -infinity as -1/0 and NaN as 0/0. 14 * 15 * A rational value is always normalized before it is passed to the user. 16 */ 17 struct isl_val { 18 int ref; 19 isl_ctx *ctx; 20 21 isl_int n; 22 isl_int d; 23 }; 24 25 #undef EL 26 #define EL isl_val 27 28 #include <isl_list_templ.h> 29 30 __isl_give isl_val *isl_val_alloc(isl_ctx *ctx); 31 __isl_give isl_val *isl_val_normalize(__isl_take isl_val *v); 32 __isl_give isl_val *isl_val_int_from_isl_int(isl_ctx *ctx, isl_int n); 33 __isl_give isl_val *isl_val_rat_from_isl_int(isl_ctx *ctx, 34 isl_int n, isl_int d); 35 __isl_give isl_val *isl_val_cow(__isl_take isl_val *val); 36 37 isl_stat isl_val_get_num_isl_int(__isl_keep isl_val *v, isl_int *n); 38 39 isl_bool isl_val_involves_dims(__isl_keep isl_val *v, enum isl_dim_type type, 40 unsigned first, unsigned n); 41 __isl_give isl_val *isl_val_insert_dims(__isl_take isl_val *v, 42 enum isl_dim_type type, unsigned first, unsigned n); 43 __isl_give isl_val *isl_val_set_dim_name(__isl_take isl_val *v, 44 enum isl_dim_type type, unsigned pos, const char *s); 45 46 __isl_give isl_val *isl_val_scale_val(__isl_take isl_val *v1, 47 __isl_take isl_val *v2); 48 __isl_give isl_val *isl_val_scale_down_val(__isl_take isl_val *v1, 49 __isl_take isl_val *v2); 50 __isl_give isl_val *isl_val_mod_val(__isl_take isl_val *v1, 51 __isl_take isl_val *v2); 52 53 isl_bool isl_val_plain_is_equal(__isl_keep isl_val *val1, 54 __isl_keep isl_val *val2); 55 56 #undef BASE 57 #define BASE val 58 59 #include <isl_multi_templ.h> 60 61 #endif 62