1 #ifndef ISL_LOCAL_SPACE_H
2 #define ISL_LOCAL_SPACE_H
4 #include <isl/aff_type.h>
6 #include <isl/printer.h>
7 #include <isl/map_type.h>
9 #if defined(__cplusplus)
13 struct isl_local_space;
14 typedef struct isl_local_space isl_local_space;
16 isl_ctx *isl_local_space_get_ctx(__isl_keep isl_local_space *ls);
18 __isl_give isl_local_space *isl_local_space_from_space(__isl_take isl_space *dim);
20 __isl_give isl_local_space *isl_local_space_copy(
21 __isl_keep isl_local_space *ls);
22 void *isl_local_space_free(__isl_take isl_local_space *ls);
24 int isl_local_space_is_set(__isl_keep isl_local_space *ls);
26 int isl_local_space_dim(__isl_keep isl_local_space *ls,
27 enum isl_dim_type type);
28 int isl_local_space_has_dim_name(__isl_keep isl_local_space *ls,
29 enum isl_dim_type type, unsigned pos);
30 const char *isl_local_space_get_dim_name(__isl_keep isl_local_space *ls,
31 enum isl_dim_type type, unsigned pos);
32 __isl_give isl_local_space *isl_local_space_set_dim_name(
33 __isl_take isl_local_space *ls,
34 enum isl_dim_type type, unsigned pos, const char *s);
35 __isl_give isl_local_space *isl_local_space_set_dim_id(
36 __isl_take isl_local_space *ls,
37 enum isl_dim_type type, unsigned pos, __isl_take isl_id *id);
38 __isl_give isl_space *isl_local_space_get_space(__isl_keep isl_local_space *ls);
39 __isl_give isl_aff *isl_local_space_get_div(__isl_keep isl_local_space *ls,
42 __isl_give isl_local_space *isl_local_space_domain(
43 __isl_take isl_local_space *ls);
44 __isl_give isl_local_space *isl_local_space_range(
45 __isl_take isl_local_space *ls);
46 __isl_give isl_local_space *isl_local_space_from_domain(
47 __isl_take isl_local_space *ls);
48 __isl_give isl_local_space *isl_local_space_add_dims(
49 __isl_take isl_local_space *ls, enum isl_dim_type type, unsigned n);
50 __isl_give isl_local_space *isl_local_space_drop_dims(
51 __isl_take isl_local_space *ls,
52 enum isl_dim_type type, unsigned first, unsigned n);
53 __isl_give isl_local_space *isl_local_space_insert_dims(
54 __isl_take isl_local_space *ls,
55 enum isl_dim_type type, unsigned first, unsigned n);
57 __isl_give isl_local_space *isl_local_space_intersect(
58 __isl_take isl_local_space *ls1, __isl_take isl_local_space *ls2);
60 int isl_local_space_is_equal(__isl_keep isl_local_space *ls1,
61 __isl_keep isl_local_space *ls2);
63 __isl_give isl_basic_map *isl_local_space_lifting(
64 __isl_take isl_local_space *ls);
66 __isl_give isl_printer *isl_printer_print_local_space(__isl_take isl_printer *p,
67 __isl_keep isl_local_space *ls);
68 void isl_local_space_dump(__isl_keep isl_local_space *ls);
70 #if defined(__cplusplus)