1 #ifndef ISL_LOCAL_SPACE_H
2 #define ISL_LOCAL_SPACE_H
3 
4 #include <isl/aff_type.h>
5 #include <isl/space_type.h>
6 #include <isl/printer.h>
7 #include <isl/map_type.h>
8 
9 #if defined(__cplusplus)
10 extern "C" {
11 #endif
12 
13 struct isl_local_space;
14 typedef struct isl_local_space isl_local_space;
15 
16 isl_ctx *isl_local_space_get_ctx(__isl_keep isl_local_space *ls);
17 
18 __isl_give isl_local_space *isl_local_space_from_space(__isl_take isl_space *dim);
19 
20 __isl_give isl_local_space *isl_local_space_copy(
21 	__isl_keep isl_local_space *ls);
22 __isl_null isl_local_space *isl_local_space_free(
23 	__isl_take isl_local_space *ls);
24 
25 isl_bool isl_local_space_is_params(__isl_keep isl_local_space *ls);
26 isl_bool isl_local_space_is_set(__isl_keep isl_local_space *ls);
27 
28 __isl_give isl_local_space *isl_local_space_set_tuple_id(
29 	__isl_take isl_local_space *ls,
30 	enum isl_dim_type type, __isl_take isl_id *id);
31 
32 isl_size isl_local_space_dim(__isl_keep isl_local_space *ls,
33 	enum isl_dim_type type);
34 isl_bool isl_local_space_has_dim_name(__isl_keep isl_local_space *ls,
35 	enum isl_dim_type type, unsigned pos);
36 const char *isl_local_space_get_dim_name(__isl_keep isl_local_space *ls,
37 	enum isl_dim_type type, unsigned pos);
38 __isl_give isl_local_space *isl_local_space_set_dim_name(
39 	__isl_take isl_local_space *ls,
40 	enum isl_dim_type type, unsigned pos, const char *s);
41 isl_bool isl_local_space_has_dim_id(__isl_keep isl_local_space *ls,
42 	enum isl_dim_type type, unsigned pos);
43 __isl_give isl_id *isl_local_space_get_dim_id(__isl_keep isl_local_space *ls,
44 	enum isl_dim_type type, unsigned pos);
45 __isl_give isl_local_space *isl_local_space_set_dim_id(
46 	__isl_take isl_local_space *ls,
47 	enum isl_dim_type type, unsigned pos, __isl_take isl_id *id);
48 __isl_give isl_space *isl_local_space_get_space(__isl_keep isl_local_space *ls);
49 __isl_give isl_aff *isl_local_space_get_div(__isl_keep isl_local_space *ls,
50 	int pos);
51 
52 int isl_local_space_find_dim_by_name(__isl_keep isl_local_space *ls,
53 	enum isl_dim_type type, const char *name);
54 
55 __isl_give isl_local_space *isl_local_space_domain(
56 	__isl_take isl_local_space *ls);
57 __isl_give isl_local_space *isl_local_space_range(
58 	__isl_take isl_local_space *ls);
59 __isl_give isl_local_space *isl_local_space_from_domain(
60 	__isl_take isl_local_space *ls);
61 __isl_give isl_local_space *isl_local_space_add_dims(
62 	__isl_take isl_local_space *ls, enum isl_dim_type type, unsigned n);
63 __isl_give isl_local_space *isl_local_space_drop_dims(
64 	__isl_take isl_local_space *ls,
65 	enum isl_dim_type type, unsigned first, unsigned n);
66 __isl_give isl_local_space *isl_local_space_insert_dims(
67 	__isl_take isl_local_space *ls,
68 	enum isl_dim_type type, unsigned first, unsigned n);
69 __isl_give isl_local_space *isl_local_space_set_from_params(
70 	__isl_take isl_local_space *ls);
71 
72 __isl_give isl_local_space *isl_local_space_intersect(
73 	__isl_take isl_local_space *ls1, __isl_take isl_local_space *ls2);
74 
75 __isl_give isl_local_space *isl_local_space_wrap(
76 	__isl_take isl_local_space *ls);
77 
78 isl_bool isl_local_space_is_equal(__isl_keep isl_local_space *ls1,
79 	__isl_keep isl_local_space *ls2);
80 
81 __isl_give isl_basic_map *isl_local_space_lifting(
82 	__isl_take isl_local_space *ls);
83 
84 __isl_give isl_local_space *isl_local_space_flatten_domain(
85 	__isl_take isl_local_space *ls);
86 __isl_give isl_local_space *isl_local_space_flatten_range(
87 	__isl_take isl_local_space *ls);
88 
89 __isl_give isl_printer *isl_printer_print_local_space(__isl_take isl_printer *p,
90 	__isl_keep isl_local_space *ls);
91 void isl_local_space_dump(__isl_keep isl_local_space *ls);
92 
93 #if defined(__cplusplus)
94 }
95 #endif
96 
97 #endif
98