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