isl_map.c: basic_set_maximal_difference_at: extract out join_initial
[isl.git] / isl_local_space_private.h
blob95aa3bf8254e66ddd6724cbbe12105113a48e2bb
1 #ifndef ISL_LOCAL_SPACE_PRIVATE_H
2 #define ISL_LOCAL_SPACE_PRIVATE_H
4 #include <isl/mat.h>
5 #include <isl/set.h>
6 #include <isl/local_space.h>
8 struct isl_local_space {
9 int ref;
11 isl_space *dim;
12 isl_mat *div;
15 uint32_t isl_local_space_get_hash(__isl_keep isl_local_space *ls);
17 __isl_give isl_local_space *isl_local_space_alloc(__isl_take isl_space *dim,
18 unsigned n_div);
19 __isl_give isl_local_space *isl_local_space_alloc_div(__isl_take isl_space *dim,
20 __isl_take isl_mat *div);
22 __isl_keep isl_space *isl_local_space_peek_space(
23 __isl_keep isl_local_space *ls);
25 __isl_give isl_local_space *isl_local_space_swap_div(
26 __isl_take isl_local_space *ls, int a, int b);
27 __isl_give isl_local_space *isl_local_space_add_div(
28 __isl_take isl_local_space *ls, __isl_take isl_vec *div);
30 int isl_mat_cmp_div(__isl_keep isl_mat *div, int i, int j);
31 __isl_give isl_mat *isl_merge_divs(__isl_keep isl_mat *div1,
32 __isl_keep isl_mat *div2, int *exp1, int *exp2);
34 unsigned isl_local_space_offset(__isl_keep isl_local_space *ls,
35 enum isl_dim_type type);
37 __isl_give isl_local_space *isl_local_space_replace_divs(
38 __isl_take isl_local_space *ls, __isl_take isl_mat *div);
39 isl_bool isl_local_space_div_is_marked_unknown(__isl_keep isl_local_space *ls,
40 int div);
41 isl_bool isl_local_space_div_is_known(__isl_keep isl_local_space *ls, int div);
42 isl_bool isl_local_space_divs_known(__isl_keep isl_local_space *ls);
44 __isl_give isl_local_space *isl_local_space_substitute_equalities(
45 __isl_take isl_local_space *ls, __isl_take isl_basic_set *eq);
47 isl_bool isl_local_space_is_named_or_nested(__isl_keep isl_local_space *ls,
48 enum isl_dim_type type);
50 isl_bool isl_local_space_has_equal_space(__isl_keep isl_local_space *ls1,
51 __isl_keep isl_local_space *ls2);
53 __isl_give isl_local_space *isl_local_space_reset_space(
54 __isl_take isl_local_space *ls, __isl_take isl_space *dim);
55 __isl_give isl_local_space *isl_local_space_realign(
56 __isl_take isl_local_space *ls, __isl_take isl_reordering *r);
58 isl_bool isl_local_space_is_div_constraint(__isl_keep isl_local_space *ls,
59 isl_int *constraint, unsigned div);
61 int *isl_local_space_get_active(__isl_keep isl_local_space *ls, isl_int *l);
63 __isl_give isl_local_space *isl_local_space_substitute_seq(
64 __isl_take isl_local_space *ls,
65 enum isl_dim_type type, unsigned pos, isl_int *subs, int subs_len,
66 int first, int n);
67 __isl_give isl_local_space *isl_local_space_substitute(
68 __isl_take isl_local_space *ls,
69 enum isl_dim_type type, unsigned pos, __isl_keep isl_aff *subs);
71 __isl_give isl_local_space *isl_local_space_lift(
72 __isl_take isl_local_space *ls);
74 __isl_give isl_local_space *isl_local_space_preimage_multi_aff(
75 __isl_take isl_local_space *ls, __isl_take isl_multi_aff *ma);
77 __isl_give isl_local_space *isl_local_space_move_dims(
78 __isl_take isl_local_space *ls,
79 enum isl_dim_type dst_type, unsigned dst_pos,
80 enum isl_dim_type src_type, unsigned src_pos, unsigned n);
82 int isl_local_space_cmp(__isl_keep isl_local_space *ls1,
83 __isl_keep isl_local_space *ls2);
85 __isl_give isl_point *isl_local_space_lift_point(__isl_take isl_local_space *ls,
86 __isl_take isl_point *pnt);
88 isl_bool isl_local_space_has_space(__isl_keep isl_local_space *ls,
89 __isl_keep isl_space *space);
91 #endif