1 #ifndef ISL_LOCAL_SPACE_H
2 #define ISL_LOCAL_SPACE_H
4 #include <isl/aff_type.h>
6 #include <isl/printer.h>
8 #if defined(__cplusplus)
12 struct isl_local_space
;
13 typedef struct isl_local_space isl_local_space
;
15 isl_ctx
*isl_local_space_get_ctx(__isl_keep isl_local_space
*ls
);
17 __isl_give isl_local_space
*isl_local_space_from_space(__isl_take isl_space
*dim
);
19 __isl_give isl_local_space
*isl_local_space_copy(
20 __isl_keep isl_local_space
*ls
);
21 void *isl_local_space_free(__isl_take isl_local_space
*ls
);
23 int isl_local_space_is_set(__isl_keep isl_local_space
*ls
);
25 int isl_local_space_dim(__isl_keep isl_local_space
*ls
,
26 enum isl_dim_type type
);
27 const char *isl_local_space_get_dim_name(__isl_keep isl_local_space
*ls
,
28 enum isl_dim_type type
, unsigned pos
);
29 __isl_give isl_local_space
*isl_local_space_set_dim_name(
30 __isl_take isl_local_space
*ls
,
31 enum isl_dim_type type
, unsigned pos
, const char *s
);
32 __isl_give isl_local_space
*isl_local_space_set_dim_id(
33 __isl_take isl_local_space
*ls
,
34 enum isl_dim_type type
, unsigned pos
, __isl_take isl_id
*id
);
35 __isl_give isl_space
*isl_local_space_get_space(__isl_keep isl_local_space
*ls
);
36 __isl_give isl_aff
*isl_local_space_get_div(__isl_keep isl_local_space
*ls
,
39 __isl_give isl_local_space
*isl_local_space_domain(
40 __isl_take isl_local_space
*ls
);
41 __isl_give isl_local_space
*isl_local_space_from_domain(
42 __isl_take isl_local_space
*ls
);
43 __isl_give isl_local_space
*isl_local_space_add_dims(
44 __isl_take isl_local_space
*ls
, enum isl_dim_type type
, unsigned n
);
45 __isl_give isl_local_space
*isl_local_space_drop_dims(
46 __isl_take isl_local_space
*ls
,
47 enum isl_dim_type type
, unsigned first
, unsigned n
);
48 __isl_give isl_local_space
*isl_local_space_insert_dims(
49 __isl_take isl_local_space
*ls
,
50 enum isl_dim_type type
, unsigned first
, unsigned n
);
52 int isl_local_space_is_equal(__isl_keep isl_local_space
*ls1
,
53 __isl_keep isl_local_space
*ls2
);
55 __isl_give isl_printer
*isl_printer_print_local_space(__isl_take isl_printer
*p
,
56 __isl_keep isl_local_space
*ls
);
57 void isl_local_space_dump(__isl_keep isl_local_space
*ls
);
59 #if defined(__cplusplus)