2 * Copyright 2008-2009 Katholieke Universiteit Leuven
4 * Use of this software is governed by the GNU LGPLv2.1 license
6 * Written by Sven Verdoolaege, K.U.Leuven, Departement
7 * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
15 #include <isl/printer.h>
17 #if defined(__cplusplus)
22 typedef struct isl_space isl_space
;
29 isl_dim_set
= isl_dim_out
,
34 isl_ctx
*isl_space_get_ctx(__isl_keep isl_space
*dim
);
35 __isl_give isl_space
*isl_space_alloc(isl_ctx
*ctx
,
36 unsigned nparam
, unsigned n_in
, unsigned n_out
);
37 __isl_give isl_space
*isl_space_set_alloc(isl_ctx
*ctx
,
38 unsigned nparam
, unsigned dim
);
39 __isl_give isl_space
*isl_space_params_alloc(isl_ctx
*ctx
, unsigned nparam
);
40 __isl_give isl_space
*isl_space_copy(__isl_keep isl_space
*dim
);
41 void isl_space_free(__isl_take isl_space
*dim
);
43 int isl_space_is_params(__isl_keep isl_space
*space
);
44 int isl_space_is_set(__isl_keep isl_space
*space
);
46 __isl_give isl_space
*isl_space_set_tuple_name(__isl_take isl_space
*dim
,
47 enum isl_dim_type type
, const char *s
);
48 int isl_space_has_tuple_name(__isl_keep isl_space
*space
,
49 enum isl_dim_type type
);
50 const char *isl_space_get_tuple_name(__isl_keep isl_space
*dim
,
51 enum isl_dim_type type
);
52 __isl_give isl_space
*isl_space_set_tuple_id(__isl_take isl_space
*dim
,
53 enum isl_dim_type type
, __isl_take isl_id
*id
);
54 __isl_give isl_space
*isl_space_reset_tuple_id(__isl_take isl_space
*dim
,
55 enum isl_dim_type type
);
56 int isl_space_has_tuple_id(__isl_keep isl_space
*dim
, enum isl_dim_type type
);
57 __isl_give isl_id
*isl_space_get_tuple_id(__isl_keep isl_space
*dim
,
58 enum isl_dim_type type
);
60 __isl_give isl_space
*isl_space_set_dim_id(__isl_take isl_space
*dim
,
61 enum isl_dim_type type
, unsigned pos
, __isl_take isl_id
*id
);
62 int isl_space_has_dim_id(__isl_keep isl_space
*dim
,
63 enum isl_dim_type type
, unsigned pos
);
64 __isl_give isl_id
*isl_space_get_dim_id(__isl_keep isl_space
*dim
,
65 enum isl_dim_type type
, unsigned pos
);
67 int isl_space_find_dim_by_id(__isl_keep isl_space
*dim
, enum isl_dim_type type
,
68 __isl_keep isl_id
*id
);
69 int isl_space_find_dim_by_name(__isl_keep isl_space
*space
,
70 enum isl_dim_type type
, const char *name
);
72 int isl_space_has_dim_name(__isl_keep isl_space
*space
,
73 enum isl_dim_type type
, unsigned pos
);
74 __isl_give isl_space
*isl_space_set_dim_name(__isl_take isl_space
*dim
,
75 enum isl_dim_type type
, unsigned pos
,
76 __isl_keep
const char *name
);
77 __isl_keep
const char *isl_space_get_dim_name(__isl_keep isl_space
*dim
,
78 enum isl_dim_type type
, unsigned pos
);
80 __isl_give isl_space
*isl_space_extend(__isl_take isl_space
*dim
,
81 unsigned nparam
, unsigned n_in
, unsigned n_out
);
82 __isl_give isl_space
*isl_space_add_dims(__isl_take isl_space
*dim
, enum isl_dim_type type
,
84 __isl_give isl_space
*isl_space_move_dims(__isl_take isl_space
*dim
,
85 enum isl_dim_type dst_type
, unsigned dst_pos
,
86 enum isl_dim_type src_type
, unsigned src_pos
, unsigned n
);
87 __isl_give isl_space
*isl_space_insert_dims(__isl_take isl_space
*dim
,
88 enum isl_dim_type type
, unsigned pos
, unsigned n
);
89 __isl_give isl_space
*isl_space_join(__isl_take isl_space
*left
,
90 __isl_take isl_space
*right
);
91 __isl_give isl_space
*isl_space_product(__isl_take isl_space
*left
,
92 __isl_take isl_space
*right
);
93 __isl_give isl_space
*isl_space_domain_product(__isl_take isl_space
*left
,
94 __isl_take isl_space
*right
);
95 __isl_give isl_space
*isl_space_range_product(__isl_take isl_space
*left
,
96 __isl_take isl_space
*right
);
97 __isl_give isl_space
*isl_space_map_from_set(__isl_take isl_space
*dim
);
98 __isl_give isl_space
*isl_space_map_from_domain_and_range(
99 __isl_take isl_space
*domain
, __isl_take isl_space
*range
);
100 __isl_give isl_space
*isl_space_reverse(__isl_take isl_space
*dim
);
101 __isl_give isl_space
*isl_space_drop_dims(__isl_take isl_space
*dim
,
102 enum isl_dim_type type
, unsigned first
, unsigned num
);
103 __isl_give isl_space
*isl_space_drop_inputs(__isl_take isl_space
*dim
,
104 unsigned first
, unsigned n
);
105 __isl_give isl_space
*isl_space_drop_outputs(__isl_take isl_space
*dim
,
106 unsigned first
, unsigned n
);
107 __isl_give isl_space
*isl_space_domain(__isl_take isl_space
*dim
);
108 __isl_give isl_space
*isl_space_from_domain(__isl_take isl_space
*dim
);
109 __isl_give isl_space
*isl_space_range(__isl_take isl_space
*dim
);
110 __isl_give isl_space
*isl_space_from_range(__isl_take isl_space
*dim
);
111 __isl_give isl_space
*isl_space_params(__isl_take isl_space
*space
);
112 __isl_give isl_space
*isl_space_set_from_params(__isl_take isl_space
*space
);
114 __isl_give isl_space
*isl_space_align_params(__isl_take isl_space
*dim1
,
115 __isl_take isl_space
*dim2
);
117 int isl_space_is_wrapping(__isl_keep isl_space
*dim
);
118 __isl_give isl_space
*isl_space_wrap(__isl_take isl_space
*dim
);
119 __isl_give isl_space
*isl_space_unwrap(__isl_take isl_space
*dim
);
121 int isl_space_can_zip(__isl_keep isl_space
*dim
);
122 __isl_give isl_space
*isl_space_zip(__isl_take isl_space
*dim
);
124 int isl_space_can_curry(__isl_keep isl_space
*space
);
125 __isl_give isl_space
*isl_space_curry(__isl_take isl_space
*space
);
127 int isl_space_is_equal(__isl_keep isl_space
*dim1
, __isl_keep isl_space
*dim2
);
128 int isl_space_match(__isl_keep isl_space
*dim1
, enum isl_dim_type dim1_type
,
129 __isl_keep isl_space
*dim2
, enum isl_dim_type dim2_type
);
130 int isl_space_tuple_match(__isl_keep isl_space
*dim1
, enum isl_dim_type dim1_type
,
131 __isl_keep isl_space
*dim2
, enum isl_dim_type dim2_type
);
132 int isl_space_compatible(__isl_keep isl_space
*dim1
,
133 __isl_keep isl_space
*dim2
);
134 unsigned isl_space_dim(__isl_keep isl_space
*dim
, enum isl_dim_type type
);
136 __isl_give isl_printer
*isl_printer_print_space(__isl_take isl_printer
*p
,
137 __isl_keep isl_space
*dim
);
138 void isl_space_dump(__isl_keep isl_space
*dim
);
140 #if defined(__cplusplus)