1 #ifndef ISL_LOCAL_SPACE_H
2 #define ISL_LOCAL_SPACE_H
4 #include <isl/aff_type.h>
5 #include <isl/space_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(
19 __isl_take isl_space
*space
);
21 __isl_give isl_local_space
*isl_local_space_copy(
22 __isl_keep isl_local_space
*ls
);
23 __isl_null isl_local_space
*isl_local_space_free(
24 __isl_take isl_local_space
*ls
);
26 isl_bool
isl_local_space_is_params(__isl_keep isl_local_space
*ls
);
27 isl_bool
isl_local_space_is_set(__isl_keep isl_local_space
*ls
);
29 __isl_give isl_local_space
*isl_local_space_set_tuple_id(
30 __isl_take isl_local_space
*ls
,
31 enum isl_dim_type type
, __isl_take isl_id
*id
);
33 isl_size
isl_local_space_dim(__isl_keep isl_local_space
*ls
,
34 enum isl_dim_type type
);
35 isl_bool
isl_local_space_has_dim_name(__isl_keep isl_local_space
*ls
,
36 enum isl_dim_type type
, unsigned pos
);
37 const char *isl_local_space_get_dim_name(__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_name(
40 __isl_take isl_local_space
*ls
,
41 enum isl_dim_type type
, unsigned pos
, const char *s
);
42 isl_bool
isl_local_space_has_dim_id(__isl_keep isl_local_space
*ls
,
43 enum isl_dim_type type
, unsigned pos
);
44 __isl_give isl_id
*isl_local_space_get_dim_id(__isl_keep isl_local_space
*ls
,
45 enum isl_dim_type type
, unsigned pos
);
46 __isl_give isl_local_space
*isl_local_space_set_dim_id(
47 __isl_take isl_local_space
*ls
,
48 enum isl_dim_type type
, unsigned pos
, __isl_take isl_id
*id
);
49 __isl_give isl_space
*isl_local_space_get_space(__isl_keep isl_local_space
*ls
);
50 __isl_give isl_aff
*isl_local_space_get_div(__isl_keep isl_local_space
*ls
,
53 int isl_local_space_find_dim_by_name(__isl_keep isl_local_space
*ls
,
54 enum isl_dim_type type
, const char *name
);
56 __isl_give isl_local_space
*isl_local_space_domain(
57 __isl_take isl_local_space
*ls
);
58 __isl_give isl_local_space
*isl_local_space_range(
59 __isl_take isl_local_space
*ls
);
60 __isl_give isl_local_space
*isl_local_space_from_domain(
61 __isl_take isl_local_space
*ls
);
62 __isl_give isl_local_space
*isl_local_space_add_dims(
63 __isl_take isl_local_space
*ls
, enum isl_dim_type type
, unsigned n
);
64 __isl_give isl_local_space
*isl_local_space_drop_dims(
65 __isl_take isl_local_space
*ls
,
66 enum isl_dim_type type
, unsigned first
, unsigned n
);
67 __isl_give isl_local_space
*isl_local_space_insert_dims(
68 __isl_take isl_local_space
*ls
,
69 enum isl_dim_type type
, unsigned first
, unsigned n
);
70 __isl_give isl_local_space
*isl_local_space_set_from_params(
71 __isl_take isl_local_space
*ls
);
73 __isl_give isl_local_space
*isl_local_space_intersect(
74 __isl_take isl_local_space
*ls1
, __isl_take isl_local_space
*ls2
);
76 __isl_give isl_local_space
*isl_local_space_wrap(
77 __isl_take isl_local_space
*ls
);
79 isl_bool
isl_local_space_is_equal(__isl_keep isl_local_space
*ls1
,
80 __isl_keep isl_local_space
*ls2
);
82 __isl_give isl_basic_map
*isl_local_space_lifting(
83 __isl_take isl_local_space
*ls
);
85 __isl_give isl_local_space
*isl_local_space_flatten_domain(
86 __isl_take isl_local_space
*ls
);
87 __isl_give isl_local_space
*isl_local_space_flatten_range(
88 __isl_take isl_local_space
*ls
);
90 __isl_give isl_printer
*isl_printer_print_local_space(__isl_take isl_printer
*p
,
91 __isl_keep isl_local_space
*ls
);
92 void isl_local_space_dump(__isl_keep isl_local_space
*ls
);
94 #if defined(__cplusplus)