drop isl_div abstraction
[platform/upstream/isl.git] / include / isl / local_space.h
1 #ifndef ISL_LOCAL_SPACE_H
2 #define ISL_LOCAL_SPACE_H
3
4 #include <isl/aff_type.h>
5 #include <isl/space.h>
6 #include <isl/printer.h>
7
8 #if defined(__cplusplus)
9 extern "C" {
10 #endif
11
12 struct isl_local_space;
13 typedef struct isl_local_space isl_local_space;
14
15 isl_ctx *isl_local_space_get_ctx(__isl_keep isl_local_space *ls);
16
17 __isl_give isl_local_space *isl_local_space_from_space(__isl_take isl_space *dim);
18
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);
22
23 int isl_local_space_is_set(__isl_keep isl_local_space *ls);
24
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_space *isl_local_space_get_space(__isl_keep isl_local_space *ls);
33 __isl_give isl_aff *isl_local_space_get_div(__isl_keep isl_local_space *ls,
34         int pos);
35
36 __isl_give isl_local_space *isl_local_space_domain(
37         __isl_take isl_local_space *ls);
38 __isl_give isl_local_space *isl_local_space_from_domain(
39         __isl_take isl_local_space *ls);
40 __isl_give isl_local_space *isl_local_space_add_dims(
41         __isl_take isl_local_space *ls, enum isl_dim_type type, unsigned n);
42 __isl_give isl_local_space *isl_local_space_drop_dims(
43         __isl_take isl_local_space *ls,
44         enum isl_dim_type type, unsigned first, unsigned n);
45 __isl_give isl_local_space *isl_local_space_insert_dims(
46         __isl_take isl_local_space *ls,
47         enum isl_dim_type type, unsigned first, unsigned n);
48
49 int isl_local_space_is_equal(__isl_keep isl_local_space *ls1,
50         __isl_keep isl_local_space *ls2);
51
52 __isl_give isl_printer *isl_printer_print_local_space(__isl_take isl_printer *p,
53         __isl_keep isl_local_space *ls);
54 void isl_local_space_dump(__isl_keep isl_local_space *ls);
55
56 #if defined(__cplusplus)
57 }
58 #endif
59
60 #endif