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 int isl_local_space_has_dim_id(__isl_keep isl_local_space
*ls
,
36 enum isl_dim_type type
, unsigned pos
);
37 __isl_give isl_id
*isl_local_space_get_dim_id(__isl_keep isl_local_space
*ls
,
38 enum isl_dim_type type
, unsigned pos
);
39 __isl_give isl_local_space
*isl_local_space_set_dim_id(
40 __isl_take isl_local_space
*ls
,
41 enum isl_dim_type type
, unsigned pos
, __isl_take isl_id
*id
);
42 __isl_give isl_space
*isl_local_space_get_space(__isl_keep isl_local_space
*ls
);
43 __isl_give isl_aff
*isl_local_space_get_div(__isl_keep isl_local_space
*ls
,
46 __isl_give isl_local_space
*isl_local_space_domain(
47 __isl_take isl_local_space
*ls
);
48 __isl_give isl_local_space
*isl_local_space_range(
49 __isl_take isl_local_space
*ls
);
50 __isl_give isl_local_space
*isl_local_space_from_domain(
51 __isl_take isl_local_space
*ls
);
52 __isl_give isl_local_space
*isl_local_space_add_dims(
53 __isl_take isl_local_space
*ls
, enum isl_dim_type type
, unsigned n
);
54 __isl_give isl_local_space
*isl_local_space_drop_dims(
55 __isl_take isl_local_space
*ls
,
56 enum isl_dim_type type
, unsigned first
, unsigned n
);
57 __isl_give isl_local_space
*isl_local_space_insert_dims(
58 __isl_take isl_local_space
*ls
,
59 enum isl_dim_type type
, unsigned first
, unsigned n
);
61 __isl_give isl_local_space
*isl_local_space_intersect(
62 __isl_take isl_local_space
*ls1
, __isl_take isl_local_space
*ls2
);
64 int isl_local_space_is_equal(__isl_keep isl_local_space
*ls1
,
65 __isl_keep isl_local_space
*ls2
);
67 __isl_give isl_basic_map
*isl_local_space_lifting(
68 __isl_take isl_local_space
*ls
);
70 __isl_give isl_printer
*isl_printer_print_local_space(__isl_take isl_printer
*p
,
71 __isl_keep isl_local_space
*ls
);
72 void isl_local_space_dump(__isl_keep isl_local_space
*ls
);
74 #if defined(__cplusplus)