1 #ifndef ISL_LOCAL_SPACE_PRIVATE_H
2 #define ISL_LOCAL_SPACE_PRIVATE_H
6 #include <isl/local_space.h>
8 struct isl_local_space
{
15 __isl_give isl_local_space
*isl_local_space_alloc(__isl_take isl_space
*dim
,
17 __isl_give isl_local_space
*isl_local_space_alloc_div(__isl_take isl_space
*dim
,
18 __isl_take isl_mat
*div
);
20 __isl_give isl_local_space
*isl_local_space_add_div(
21 __isl_take isl_local_space
*ls
, __isl_take isl_vec
*div
);
23 int isl_mat_cmp_div(__isl_keep isl_mat
*div
, int i
, int j
);
24 __isl_give isl_mat
*isl_merge_divs(__isl_keep isl_mat
*div1
,
25 __isl_keep isl_mat
*div2
, int *exp1
, int *exp2
);
27 unsigned isl_local_space_offset(__isl_keep isl_local_space
*ls
,
28 enum isl_dim_type type
);
30 __isl_give isl_local_space
*isl_local_space_replace_divs(
31 __isl_take isl_local_space
*ls
, __isl_take isl_mat
*div
);
32 int isl_local_space_divs_known(__isl_keep isl_local_space
*ls
);
34 __isl_give isl_local_space
*isl_local_space_substitute_equalities(
35 __isl_take isl_local_space
*ls
, __isl_take isl_basic_set
*eq
);
37 int isl_local_space_is_named_or_nested(__isl_keep isl_local_space
*ls
,
38 enum isl_dim_type type
);
40 __isl_give isl_local_space
*isl_local_space_reset_space(
41 __isl_take isl_local_space
*ls
, __isl_take isl_space
*dim
);
42 __isl_give isl_local_space
*isl_local_space_realign(
43 __isl_take isl_local_space
*ls
, __isl_take isl_reordering
*r
);
45 int isl_local_space_is_div_constraint(__isl_keep isl_local_space
*ls
,
46 isl_int
*constraint
, unsigned div
);
48 int *isl_local_space_get_active(__isl_keep isl_local_space
*ls
, isl_int
*l
);
50 __isl_give isl_local_space
*isl_local_space_substitute(
51 __isl_take isl_local_space
*ls
,
52 enum isl_dim_type type
, unsigned pos
, __isl_keep isl_aff
*subs
);
54 __isl_give isl_local_space
*isl_local_space_lift(
55 __isl_take isl_local_space
*ls
);