isl_map_simplify.c: lower_bound_is_cst: return -1 on error
[isl.git] / isl_val_private.h
blob1a4fa198649481ccd5ebe403cedb26c010317e5c
1 #ifndef ISL_VAL_PRIVATE_H
2 #define ISL_VAL_PRIVATE_H
4 #include <isl_int.h>
5 #include <isl/val.h>
6 #include <isl/local_space.h>
7 #include <isl_reordering.h>
9 /* Represents a "value", which may be an integer value, a rational value,
10 * plus or minus infinity or "not a number".
12 * Internally, +infinity is represented as 1/0,
13 * -infinity as -1/0 and NaN as 0/0.
15 * A rational value is always normalized before it is passed to the user.
17 struct isl_val {
18 int ref;
19 isl_ctx *ctx;
21 isl_int n;
22 isl_int d;
25 #undef EL
26 #define EL isl_val
28 #include <isl_list_templ.h>
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);
37 isl_stat isl_val_get_num_isl_int(__isl_keep isl_val *v, isl_int *n);
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_drop_dims(__isl_take isl_val *v,
44 enum isl_dim_type type, unsigned first, unsigned n);
45 __isl_give isl_val *isl_val_set_dim_name(__isl_take isl_val *v,
46 enum isl_dim_type type, unsigned pos, const char *s);
47 __isl_give isl_space *isl_val_get_space(__isl_keep isl_val *v);
48 __isl_give isl_val *isl_val_reset_domain_space(__isl_take isl_val *v,
49 __isl_take isl_space *space);
50 __isl_give isl_val *isl_val_align_params(__isl_take isl_val *v,
51 __isl_take isl_space *space);
52 __isl_give isl_val *isl_val_realign_domain(__isl_take isl_val *v,
53 __isl_take isl_reordering *r);
54 __isl_give isl_val *isl_val_zero_on_domain(__isl_take isl_local_space *ls);
56 __isl_give isl_val *isl_val_scale_val(__isl_take isl_val *v1,
57 __isl_take isl_val *v2);
58 __isl_give isl_val *isl_val_scale_down_val(__isl_take isl_val *v1,
59 __isl_take isl_val *v2);
60 __isl_give isl_val *isl_val_mod_val(__isl_take isl_val *v1,
61 __isl_take isl_val *v2);
63 int isl_val_plain_is_equal(__isl_keep isl_val *val1, __isl_keep isl_val *val2);
65 isl_bool isl_val_matching_params(__isl_keep isl_val *v,
66 __isl_keep isl_space *space);
67 isl_stat isl_val_check_match_domain_space(__isl_keep isl_val *v,
68 __isl_keep isl_space *space);
70 #undef BASE
71 #define BASE val
73 #include <isl_multi_templ.h>
75 #endif