2 * Copyright 2008-2009 Katholieke Universiteit Leuven
4 * Use of this software is governed by the MIT license
6 * Written by Sven Verdoolaege, K.U.Leuven, Departement
7 * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
14 #include <isl/space_type.h>
15 #include <isl/id_type.h>
16 #include <isl/printer.h>
18 #if defined(__cplusplus)
22 isl_ctx
*isl_space_get_ctx(__isl_keep isl_space
*space
);
24 __isl_give isl_space
*isl_space_unit(isl_ctx
*ctx
);
25 __isl_give isl_space
*isl_space_alloc(isl_ctx
*ctx
,
26 unsigned nparam
, unsigned n_in
, unsigned n_out
);
27 __isl_give isl_space
*isl_space_set_alloc(isl_ctx
*ctx
,
28 unsigned nparam
, unsigned dim
);
29 __isl_give isl_space
*isl_space_params_alloc(isl_ctx
*ctx
, unsigned nparam
);
30 __isl_give isl_space
*isl_space_copy(__isl_keep isl_space
*space
);
31 __isl_null isl_space
*isl_space_free(__isl_take isl_space
*space
);
33 isl_bool
isl_space_is_params(__isl_keep isl_space
*space
);
34 isl_bool
isl_space_is_set(__isl_keep isl_space
*space
);
35 isl_bool
isl_space_is_map(__isl_keep isl_space
*space
);
38 __isl_give isl_space
*isl_space_add_param_id(__isl_take isl_space
*space
,
39 __isl_take isl_id
*id
);
41 __isl_give isl_space
*isl_space_set_tuple_name(__isl_take isl_space
*space
,
42 enum isl_dim_type type
, const char *s
);
43 isl_bool
isl_space_has_tuple_name(__isl_keep isl_space
*space
,
44 enum isl_dim_type type
);
45 __isl_keep
const char *isl_space_get_tuple_name(__isl_keep isl_space
*space
,
46 enum isl_dim_type type
);
48 __isl_give isl_space
*isl_space_set_domain_tuple_id(
49 __isl_take isl_space
*space
, __isl_take isl_id
*id
);
51 __isl_give isl_space
*isl_space_set_range_tuple_id(
52 __isl_take isl_space
*space
, __isl_take isl_id
*id
);
53 __isl_give isl_space
*isl_space_set_tuple_id(__isl_take isl_space
*space
,
54 enum isl_dim_type type
, __isl_take isl_id
*id
);
55 __isl_give isl_space
*isl_space_reset_tuple_id(__isl_take isl_space
*space
,
56 enum isl_dim_type type
);
58 isl_bool
isl_space_has_domain_tuple_id(__isl_keep isl_space
*space
);
60 isl_bool
isl_space_has_range_tuple_id(__isl_keep isl_space
*space
);
61 isl_bool
isl_space_has_tuple_id(__isl_keep isl_space
*space
,
62 enum isl_dim_type type
);
64 __isl_give isl_id
*isl_space_get_domain_tuple_id(
65 __isl_keep isl_space
*space
);
67 __isl_give isl_id
*isl_space_get_range_tuple_id(
68 __isl_keep isl_space
*space
);
69 __isl_give isl_id
*isl_space_get_tuple_id(__isl_keep isl_space
*space
,
70 enum isl_dim_type type
);
71 __isl_give isl_space
*isl_space_reset_user(__isl_take isl_space
*space
);
73 __isl_give isl_space
*isl_space_set_dim_id(__isl_take isl_space
*space
,
74 enum isl_dim_type type
, unsigned pos
, __isl_take isl_id
*id
);
75 isl_bool
isl_space_has_dim_id(__isl_keep isl_space
*space
,
76 enum isl_dim_type type
, unsigned pos
);
77 __isl_give isl_id
*isl_space_get_dim_id(__isl_keep isl_space
*space
,
78 enum isl_dim_type type
, unsigned pos
);
80 int isl_space_find_dim_by_id(__isl_keep isl_space
*space
,
81 enum isl_dim_type type
, __isl_keep isl_id
*id
);
82 int isl_space_find_dim_by_name(__isl_keep isl_space
*space
,
83 enum isl_dim_type type
, const char *name
);
85 isl_bool
isl_space_has_dim_name(__isl_keep isl_space
*space
,
86 enum isl_dim_type type
, unsigned pos
);
87 __isl_give isl_space
*isl_space_set_dim_name(__isl_take isl_space
*space
,
88 enum isl_dim_type type
, unsigned pos
,
89 __isl_keep
const char *name
);
90 __isl_keep
const char *isl_space_get_dim_name(__isl_keep isl_space
*space
,
91 enum isl_dim_type type
, unsigned pos
);
94 __isl_give isl_space
*isl_space_extend(__isl_take isl_space
*space
,
95 unsigned nparam
, unsigned n_in
, unsigned n_out
);
96 __isl_give isl_space
*isl_space_add_dims(__isl_take isl_space
*space
,
97 enum isl_dim_type type
, unsigned n
);
98 __isl_give isl_space
*isl_space_move_dims(__isl_take isl_space
*space
,
99 enum isl_dim_type dst_type
, unsigned dst_pos
,
100 enum isl_dim_type src_type
, unsigned src_pos
, unsigned n
);
101 __isl_give isl_space
*isl_space_insert_dims(__isl_take isl_space
*space
,
102 enum isl_dim_type type
, unsigned pos
, unsigned n
);
103 __isl_give isl_space
*isl_space_join(__isl_take isl_space
*left
,
104 __isl_take isl_space
*right
);
106 __isl_give isl_space
*isl_space_product(__isl_take isl_space
*left
,
107 __isl_take isl_space
*right
);
108 __isl_give isl_space
*isl_space_domain_product(__isl_take isl_space
*left
,
109 __isl_take isl_space
*right
);
110 __isl_give isl_space
*isl_space_range_product(__isl_take isl_space
*left
,
111 __isl_take isl_space
*right
);
112 __isl_give isl_space
*isl_space_factor_domain(__isl_take isl_space
*space
);
113 __isl_give isl_space
*isl_space_factor_range(__isl_take isl_space
*space
);
114 __isl_give isl_space
*isl_space_domain_factor_domain(
115 __isl_take isl_space
*space
);
116 __isl_give isl_space
*isl_space_domain_factor_range(
117 __isl_take isl_space
*space
);
118 __isl_give isl_space
*isl_space_range_factor_domain(
119 __isl_take isl_space
*space
);
120 __isl_give isl_space
*isl_space_range_factor_range(
121 __isl_take isl_space
*space
);
122 __isl_give isl_space
*isl_space_domain_wrapped_domain(
123 __isl_take isl_space
*space
);
125 __isl_give isl_space
*isl_space_map_from_set(__isl_take isl_space
*space
);
126 __isl_give isl_space
*isl_space_map_from_domain_and_range(
127 __isl_take isl_space
*domain
, __isl_take isl_space
*range
);
129 __isl_give isl_space
*isl_space_reverse(__isl_take isl_space
*space
);
131 __isl_give isl_space
*isl_space_range_reverse(__isl_take isl_space
*space
);
132 __isl_give isl_space
*isl_space_drop_dims(__isl_take isl_space
*space
,
133 enum isl_dim_type type
, unsigned first
, unsigned num
);
135 __isl_give isl_space
*isl_space_drop_inputs(__isl_take isl_space
*space
,
136 unsigned first
, unsigned n
);
138 __isl_give isl_space
*isl_space_drop_outputs(__isl_take isl_space
*space
,
139 unsigned first
, unsigned n
);
140 __isl_give isl_space
*isl_space_drop_all_params(__isl_take isl_space
*space
);
142 __isl_give isl_space
*isl_space_domain(__isl_take isl_space
*space
);
143 __isl_give isl_space
*isl_space_from_domain(__isl_take isl_space
*space
);
145 __isl_give isl_space
*isl_space_range(__isl_take isl_space
*space
);
146 __isl_give isl_space
*isl_space_from_range(__isl_take isl_space
*space
);
147 __isl_give isl_space
*isl_space_domain_map(__isl_take isl_space
*space
);
148 __isl_give isl_space
*isl_space_range_map(__isl_take isl_space
*space
);
150 __isl_give isl_space
*isl_space_params(__isl_take isl_space
*space
);
152 __isl_give isl_space
*isl_space_add_unnamed_tuple_ui(
153 __isl_take isl_space
*space
, unsigned dim
);
155 __isl_give isl_space
*isl_space_add_named_tuple_id_ui(
156 __isl_take isl_space
*space
, __isl_take isl_id
*tuple_id
, unsigned dim
);
157 __isl_give isl_space
*isl_space_set_from_params(__isl_take isl_space
*space
);
159 __isl_give isl_space
*isl_space_align_params(__isl_take isl_space
*space1
,
160 __isl_take isl_space
*space2
);
163 isl_bool
isl_space_is_wrapping(__isl_keep isl_space
*space
);
164 isl_bool
isl_space_domain_is_wrapping(__isl_keep isl_space
*space
);
165 isl_bool
isl_space_range_is_wrapping(__isl_keep isl_space
*space
);
166 isl_bool
isl_space_is_product(__isl_keep isl_space
*space
);
168 __isl_give isl_space
*isl_space_wrap(__isl_take isl_space
*space
);
170 __isl_give isl_space
*isl_space_unwrap(__isl_take isl_space
*space
);
172 isl_bool
isl_space_can_zip(__isl_keep isl_space
*space
);
173 __isl_give isl_space
*isl_space_zip(__isl_take isl_space
*space
);
175 isl_bool
isl_space_can_curry(__isl_keep isl_space
*space
);
177 __isl_give isl_space
*isl_space_curry(__isl_take isl_space
*space
);
179 isl_bool
isl_space_can_range_curry(__isl_keep isl_space
*space
);
180 __isl_give isl_space
*isl_space_range_curry(__isl_take isl_space
*space
);
182 isl_bool
isl_space_can_uncurry(__isl_keep isl_space
*space
);
184 __isl_give isl_space
*isl_space_uncurry(__isl_take isl_space
*space
);
186 isl_bool
isl_space_is_domain(__isl_keep isl_space
*space1
,
187 __isl_keep isl_space
*space2
);
188 isl_bool
isl_space_is_range(__isl_keep isl_space
*space1
,
189 __isl_keep isl_space
*space2
);
191 isl_bool
isl_space_is_equal(__isl_keep isl_space
*space1
,
192 __isl_keep isl_space
*space2
);
193 isl_bool
isl_space_has_equal_params(__isl_keep isl_space
*space1
,
194 __isl_keep isl_space
*space2
);
195 isl_bool
isl_space_has_equal_tuples(__isl_keep isl_space
*space1
,
196 __isl_keep isl_space
*space2
);
197 isl_bool
isl_space_tuple_is_equal(__isl_keep isl_space
*space1
,
198 enum isl_dim_type type1
, __isl_keep isl_space
*space2
,
199 enum isl_dim_type type2
);
201 isl_bool
isl_space_match(__isl_keep isl_space
*space1
, enum isl_dim_type type1
,
202 __isl_keep isl_space
*space2
, enum isl_dim_type type2
);
203 isl_size
isl_space_dim(__isl_keep isl_space
*space
, enum isl_dim_type type
);
206 __isl_give isl_space
*isl_space_flatten_domain(__isl_take isl_space
*space
);
208 __isl_give isl_space
*isl_space_flatten_range(__isl_take isl_space
*space
);
210 __isl_give
char *isl_space_to_str(__isl_keep isl_space
*space
);
211 __isl_give isl_printer
*isl_printer_print_space(__isl_take isl_printer
*p
,
212 __isl_keep isl_space
*space
);
213 void isl_space_dump(__isl_keep isl_space
*space
);
215 #if defined(__cplusplus)