add isl_pw_*_plain_is_equal
[isl.git] / isl_aff_private.h
blob54705f68ce919faf12a324578b09e56cf604f619
1 #ifndef ISL_AFF_PRIVATE_H
2 #define ISL_AFF_PRIVATE_H
4 #include <isl/aff.h>
5 #include <isl/vec.h>
6 #include <isl/mat.h>
7 #include <isl/local_space.h>
9 /* ls represents the domain space.
11 struct isl_aff {
12 int ref;
14 isl_local_space *ls;
15 isl_vec *v;
18 struct isl_pw_aff_piece {
19 struct isl_set *set;
20 struct isl_aff *aff;
23 struct isl_pw_aff {
24 int ref;
26 isl_space *dim;
28 int n;
30 size_t size;
31 struct isl_pw_aff_piece p[1];
34 __isl_give isl_aff *isl_aff_alloc(__isl_take isl_local_space *ls);
36 __isl_give isl_aff *isl_aff_reset_space_and_domain(__isl_take isl_aff *aff,
37 __isl_take isl_space *space, __isl_take isl_space *domain);
38 __isl_give isl_aff *isl_aff_reset_domain_space(__isl_take isl_aff *aff,
39 __isl_take isl_space *dim);
40 __isl_give isl_aff *isl_aff_realign_domain(__isl_take isl_aff *aff,
41 __isl_take isl_reordering *r);
43 __isl_give isl_aff *isl_aff_expand_divs( __isl_take isl_aff *aff,
44 __isl_take isl_mat *div, int *exp);
46 __isl_give isl_pw_aff *isl_pw_aff_reset_space(__isl_take isl_pw_aff *pwaff,
47 __isl_take isl_space *dim);
48 __isl_give isl_pw_aff *isl_pw_aff_reset_domain_space(
49 __isl_take isl_pw_aff *pwaff, __isl_take isl_space *space);
50 __isl_give isl_pw_aff *isl_pw_aff_add_disjoint(
51 __isl_take isl_pw_aff *pwaff1, __isl_take isl_pw_aff *pwaff2);
53 __isl_give isl_pw_aff *isl_pw_aff_union_opt(__isl_take isl_pw_aff *pwaff1,
54 __isl_take isl_pw_aff *pwaff2, int max);
56 #endif