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
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 __isl_null isl_space
*isl_space_free(__isl_take isl_space
*space
);
43 isl_bool
isl_space_is_params(__isl_keep isl_space
*space
);
44 isl_bool
isl_space_is_set(__isl_keep isl_space
*space
);
45 isl_bool
isl_space_is_map(__isl_keep isl_space
*space
);
47 __isl_give isl_space
*isl_space_add_param_id(__isl_take isl_space
*space
,
48 __isl_take isl_id
*id
);
50 __isl_give isl_space
*isl_space_set_tuple_name(__isl_take isl_space
*dim
,
51 enum isl_dim_type type
, const char *s
);
52 isl_bool
isl_space_has_tuple_name(__isl_keep isl_space
*space
,
53 enum isl_dim_type type
);
54 __isl_keep
const char *isl_space_get_tuple_name(__isl_keep isl_space
*dim
,
55 enum isl_dim_type type
);
56 __isl_give isl_space
*isl_space_set_tuple_id(__isl_take isl_space
*dim
,
57 enum isl_dim_type type
, __isl_take isl_id
*id
);
58 __isl_give isl_space
*isl_space_reset_tuple_id(__isl_take isl_space
*dim
,
59 enum isl_dim_type type
);
60 isl_bool
isl_space_has_tuple_id(__isl_keep isl_space
*dim
,
61 enum isl_dim_type type
);
62 __isl_give isl_id
*isl_space_get_tuple_id(__isl_keep isl_space
*dim
,
63 enum isl_dim_type type
);
64 __isl_give isl_space
*isl_space_reset_user(__isl_take isl_space
*space
);
66 __isl_give isl_space
*isl_space_set_dim_id(__isl_take isl_space
*dim
,
67 enum isl_dim_type type
, unsigned pos
, __isl_take isl_id
*id
);
68 isl_bool
isl_space_has_dim_id(__isl_keep isl_space
*dim
,
69 enum isl_dim_type type
, unsigned pos
);
70 __isl_give isl_id
*isl_space_get_dim_id(__isl_keep isl_space
*dim
,
71 enum isl_dim_type type
, unsigned pos
);
73 int isl_space_find_dim_by_id(__isl_keep isl_space
*dim
, enum isl_dim_type type
,
74 __isl_keep isl_id
*id
);
75 int isl_space_find_dim_by_name(__isl_keep isl_space
*space
,
76 enum isl_dim_type type
, const char *name
);
78 isl_bool
isl_space_has_dim_name(__isl_keep isl_space
*space
,
79 enum isl_dim_type type
, unsigned pos
);
80 __isl_give isl_space
*isl_space_set_dim_name(__isl_take isl_space
*dim
,
81 enum isl_dim_type type
, unsigned pos
,
82 __isl_keep
const char *name
);
83 __isl_keep
const char *isl_space_get_dim_name(__isl_keep isl_space
*dim
,
84 enum isl_dim_type type
, unsigned pos
);
87 __isl_give isl_space
*isl_space_extend(__isl_take isl_space
*dim
,
88 unsigned nparam
, unsigned n_in
, unsigned n_out
);
89 __isl_give isl_space
*isl_space_add_dims(__isl_take isl_space
*space
,
90 enum isl_dim_type type
, unsigned n
);
91 __isl_give isl_space
*isl_space_move_dims(__isl_take isl_space
*space
,
92 enum isl_dim_type dst_type
, unsigned dst_pos
,
93 enum isl_dim_type src_type
, unsigned src_pos
, unsigned n
);
94 __isl_give isl_space
*isl_space_insert_dims(__isl_take isl_space
*dim
,
95 enum isl_dim_type type
, unsigned pos
, unsigned n
);
96 __isl_give isl_space
*isl_space_join(__isl_take isl_space
*left
,
97 __isl_take isl_space
*right
);
98 __isl_give isl_space
*isl_space_product(__isl_take isl_space
*left
,
99 __isl_take isl_space
*right
);
100 __isl_give isl_space
*isl_space_domain_product(__isl_take isl_space
*left
,
101 __isl_take isl_space
*right
);
102 __isl_give isl_space
*isl_space_range_product(__isl_take isl_space
*left
,
103 __isl_take isl_space
*right
);
104 __isl_give isl_space
*isl_space_factor_domain(__isl_take isl_space
*space
);
105 __isl_give isl_space
*isl_space_factor_range(__isl_take isl_space
*space
);
106 __isl_give isl_space
*isl_space_domain_factor_domain(
107 __isl_take isl_space
*space
);
108 __isl_give isl_space
*isl_space_domain_factor_range(
109 __isl_take isl_space
*space
);
110 __isl_give isl_space
*isl_space_range_factor_domain(
111 __isl_take isl_space
*space
);
112 __isl_give isl_space
*isl_space_range_factor_range(
113 __isl_take isl_space
*space
);
114 __isl_give isl_space
*isl_space_map_from_set(__isl_take isl_space
*space
);
115 __isl_give isl_space
*isl_space_map_from_domain_and_range(
116 __isl_take isl_space
*domain
, __isl_take isl_space
*range
);
117 __isl_give isl_space
*isl_space_reverse(__isl_take isl_space
*dim
);
118 __isl_give isl_space
*isl_space_drop_dims(__isl_take isl_space
*dim
,
119 enum isl_dim_type type
, unsigned first
, unsigned num
);
121 __isl_give isl_space
*isl_space_drop_inputs(__isl_take isl_space
*dim
,
122 unsigned first
, unsigned n
);
124 __isl_give isl_space
*isl_space_drop_outputs(__isl_take isl_space
*dim
,
125 unsigned first
, unsigned n
);
126 __isl_give isl_space
*isl_space_domain(__isl_take isl_space
*space
);
127 __isl_give isl_space
*isl_space_from_domain(__isl_take isl_space
*dim
);
128 __isl_give isl_space
*isl_space_range(__isl_take isl_space
*space
);
129 __isl_give isl_space
*isl_space_from_range(__isl_take isl_space
*dim
);
130 __isl_give isl_space
*isl_space_domain_map(__isl_take isl_space
*space
);
131 __isl_give isl_space
*isl_space_range_map(__isl_take isl_space
*space
);
132 __isl_give isl_space
*isl_space_params(__isl_take isl_space
*space
);
133 __isl_give isl_space
*isl_space_set_from_params(__isl_take isl_space
*space
);
135 __isl_give isl_space
*isl_space_align_params(__isl_take isl_space
*dim1
,
136 __isl_take isl_space
*dim2
);
138 isl_bool
isl_space_is_wrapping(__isl_keep isl_space
*dim
);
139 isl_bool
isl_space_domain_is_wrapping(__isl_keep isl_space
*space
);
140 isl_bool
isl_space_range_is_wrapping(__isl_keep isl_space
*space
);
141 isl_bool
isl_space_is_product(__isl_keep isl_space
*space
);
142 __isl_give isl_space
*isl_space_wrap(__isl_take isl_space
*dim
);
143 __isl_give isl_space
*isl_space_unwrap(__isl_take isl_space
*dim
);
145 isl_bool
isl_space_can_zip(__isl_keep isl_space
*space
);
146 __isl_give isl_space
*isl_space_zip(__isl_take isl_space
*dim
);
148 isl_bool
isl_space_can_curry(__isl_keep isl_space
*space
);
149 __isl_give isl_space
*isl_space_curry(__isl_take isl_space
*space
);
151 isl_bool
isl_space_can_range_curry(__isl_keep isl_space
*space
);
152 __isl_give isl_space
*isl_space_range_curry(__isl_take isl_space
*space
);
154 isl_bool
isl_space_can_uncurry(__isl_keep isl_space
*space
);
155 __isl_give isl_space
*isl_space_uncurry(__isl_take isl_space
*space
);
157 isl_bool
isl_space_is_domain(__isl_keep isl_space
*space1
,
158 __isl_keep isl_space
*space2
);
159 isl_bool
isl_space_is_range(__isl_keep isl_space
*space1
,
160 __isl_keep isl_space
*space2
);
161 isl_bool
isl_space_is_equal(__isl_keep isl_space
*space1
,
162 __isl_keep isl_space
*space2
);
163 isl_bool
isl_space_has_equal_params(__isl_keep isl_space
*space1
,
164 __isl_keep isl_space
*space2
);
165 isl_bool
isl_space_has_equal_tuples(__isl_keep isl_space
*space1
,
166 __isl_keep isl_space
*space2
);
167 isl_bool
isl_space_tuple_is_equal(__isl_keep isl_space
*space1
,
168 enum isl_dim_type type1
, __isl_keep isl_space
*space2
,
169 enum isl_dim_type type2
);
171 isl_bool
isl_space_match(__isl_keep isl_space
*space1
, enum isl_dim_type type1
,
172 __isl_keep isl_space
*space2
, enum isl_dim_type type2
);
173 unsigned isl_space_dim(__isl_keep isl_space
*dim
, enum isl_dim_type type
);
175 __isl_give isl_space
*isl_space_flatten_domain(__isl_take isl_space
*space
);
176 __isl_give isl_space
*isl_space_flatten_range(__isl_take isl_space
*space
);
178 __isl_give
char *isl_space_to_str(__isl_keep isl_space
*space
);
179 __isl_give isl_printer
*isl_printer_print_space(__isl_take isl_printer
*p
,
180 __isl_keep isl_space
*dim
);
181 void isl_space_dump(__isl_keep isl_space
*dim
);
183 #if defined(__cplusplus)