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 __isl_give isl_local_space
*isl_local_space_set_tuple_id(
27 __isl_take isl_local_space
*ls
,
28 enum isl_dim_type type
, __isl_take isl_id
*id
);
30 int isl_local_space_dim(__isl_keep isl_local_space
*ls
,
31 enum isl_dim_type type
);
32 int isl_local_space_has_dim_name(__isl_keep isl_local_space
*ls
,
33 enum isl_dim_type type
, unsigned pos
);
34 const char *isl_local_space_get_dim_name(__isl_keep isl_local_space
*ls
,
35 enum isl_dim_type type
, unsigned pos
);
36 __isl_give isl_local_space
*isl_local_space_set_dim_name(
37 __isl_take isl_local_space
*ls
,
38 enum isl_dim_type type
, unsigned pos
, const char *s
);
39 int isl_local_space_has_dim_id(__isl_keep isl_local_space
*ls
,
40 enum isl_dim_type type
, unsigned pos
);
41 __isl_give isl_id
*isl_local_space_get_dim_id(__isl_keep isl_local_space
*ls
,
42 enum isl_dim_type type
, unsigned pos
);
43 __isl_give isl_local_space
*isl_local_space_set_dim_id(
44 __isl_take isl_local_space
*ls
,
45 enum isl_dim_type type
, unsigned pos
, __isl_take isl_id
*id
);
46 __isl_give isl_space
*isl_local_space_get_space(__isl_keep isl_local_space
*ls
);
47 __isl_give isl_aff
*isl_local_space_get_div(__isl_keep isl_local_space
*ls
,
50 __isl_give isl_local_space
*isl_local_space_domain(
51 __isl_take isl_local_space
*ls
);
52 __isl_give isl_local_space
*isl_local_space_range(
53 __isl_take isl_local_space
*ls
);
54 __isl_give isl_local_space
*isl_local_space_from_domain(
55 __isl_take isl_local_space
*ls
);
56 __isl_give isl_local_space
*isl_local_space_add_dims(
57 __isl_take isl_local_space
*ls
, enum isl_dim_type type
, unsigned n
);
58 __isl_give isl_local_space
*isl_local_space_drop_dims(
59 __isl_take isl_local_space
*ls
,
60 enum isl_dim_type type
, unsigned first
, unsigned n
);
61 __isl_give isl_local_space
*isl_local_space_insert_dims(
62 __isl_take isl_local_space
*ls
,
63 enum isl_dim_type type
, unsigned first
, unsigned n
);
65 __isl_give isl_local_space
*isl_local_space_intersect(
66 __isl_take isl_local_space
*ls1
, __isl_take isl_local_space
*ls2
);
68 int isl_local_space_is_equal(__isl_keep isl_local_space
*ls1
,
69 __isl_keep isl_local_space
*ls2
);
71 __isl_give isl_basic_map
*isl_local_space_lifting(
72 __isl_take isl_local_space
*ls
);
74 __isl_give isl_printer
*isl_printer_print_local_space(__isl_take isl_printer
*p
,
75 __isl_keep isl_local_space
*ls
);
76 void isl_local_space_dump(__isl_keep isl_local_space
*ls
);
78 #if defined(__cplusplus)