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 int isl_space_is_params(__isl_keep isl_space
*space
);
44 int isl_space_is_set(__isl_keep isl_space
*space
);
45 int isl_space_is_map(__isl_keep isl_space
*space
);
47 __isl_give isl_space
*isl_space_set_tuple_name(__isl_take isl_space
*dim
,
48 enum isl_dim_type type
, const char *s
);
49 int isl_space_has_tuple_name(__isl_keep isl_space
*space
,
50 enum isl_dim_type type
);
51 const char *isl_space_get_tuple_name(__isl_keep isl_space
*dim
,
52 enum isl_dim_type type
);
53 __isl_give isl_space
*isl_space_set_tuple_id(__isl_take isl_space
*dim
,
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
*dim
,
56 enum isl_dim_type type
);
57 int isl_space_has_tuple_id(__isl_keep isl_space
*dim
, enum isl_dim_type type
);
58 __isl_give isl_id
*isl_space_get_tuple_id(__isl_keep isl_space
*dim
,
59 enum isl_dim_type type
);
60 __isl_give isl_space
*isl_space_reset_user(__isl_take isl_space
*space
);
62 __isl_give isl_space
*isl_space_set_dim_id(__isl_take isl_space
*dim
,
63 enum isl_dim_type type
, unsigned pos
, __isl_take isl_id
*id
);
64 int isl_space_has_dim_id(__isl_keep isl_space
*dim
,
65 enum isl_dim_type type
, unsigned pos
);
66 __isl_give isl_id
*isl_space_get_dim_id(__isl_keep isl_space
*dim
,
67 enum isl_dim_type type
, unsigned pos
);
69 int isl_space_find_dim_by_id(__isl_keep isl_space
*dim
, enum isl_dim_type type
,
70 __isl_keep isl_id
*id
);
71 int isl_space_find_dim_by_name(__isl_keep isl_space
*space
,
72 enum isl_dim_type type
, const char *name
);
74 int isl_space_has_dim_name(__isl_keep isl_space
*space
,
75 enum isl_dim_type type
, unsigned pos
);
76 __isl_give isl_space
*isl_space_set_dim_name(__isl_take isl_space
*dim
,
77 enum isl_dim_type type
, unsigned pos
,
78 __isl_keep
const char *name
);
79 __isl_keep
const char *isl_space_get_dim_name(__isl_keep isl_space
*dim
,
80 enum isl_dim_type type
, unsigned pos
);
82 __isl_give isl_space
*isl_space_extend(__isl_take isl_space
*dim
,
83 unsigned nparam
, unsigned n_in
, unsigned n_out
);
84 __isl_give isl_space
*isl_space_add_dims(__isl_take isl_space
*dim
, enum isl_dim_type type
,
86 __isl_give isl_space
*isl_space_move_dims(__isl_take isl_space
*dim
,
87 enum isl_dim_type dst_type
, unsigned dst_pos
,
88 enum isl_dim_type src_type
, unsigned src_pos
, unsigned n
);
89 __isl_give isl_space
*isl_space_insert_dims(__isl_take isl_space
*dim
,
90 enum isl_dim_type type
, unsigned pos
, unsigned n
);
91 __isl_give isl_space
*isl_space_join(__isl_take isl_space
*left
,
92 __isl_take isl_space
*right
);
93 __isl_give isl_space
*isl_space_product(__isl_take isl_space
*left
,
94 __isl_take isl_space
*right
);
95 __isl_give isl_space
*isl_space_domain_product(__isl_take isl_space
*left
,
96 __isl_take isl_space
*right
);
97 __isl_give isl_space
*isl_space_range_product(__isl_take isl_space
*left
,
98 __isl_take isl_space
*right
);
99 __isl_give isl_space
*isl_space_factor_domain(__isl_take isl_space
*space
);
100 __isl_give isl_space
*isl_space_factor_range(__isl_take isl_space
*space
);
101 __isl_give isl_space
*isl_space_domain_factor_domain(
102 __isl_take isl_space
*space
);
103 __isl_give isl_space
*isl_space_domain_factor_range(
104 __isl_take isl_space
*space
);
105 __isl_give isl_space
*isl_space_range_factor_domain(
106 __isl_take isl_space
*space
);
107 __isl_give isl_space
*isl_space_range_factor_range(
108 __isl_take isl_space
*space
);
109 __isl_give isl_space
*isl_space_map_from_set(__isl_take isl_space
*dim
);
110 __isl_give isl_space
*isl_space_map_from_domain_and_range(
111 __isl_take isl_space
*domain
, __isl_take isl_space
*range
);
112 __isl_give isl_space
*isl_space_reverse(__isl_take isl_space
*dim
);
113 __isl_give isl_space
*isl_space_drop_dims(__isl_take isl_space
*dim
,
114 enum isl_dim_type type
, unsigned first
, unsigned num
);
115 __isl_give isl_space
*isl_space_drop_inputs(__isl_take isl_space
*dim
,
116 unsigned first
, unsigned n
);
117 __isl_give isl_space
*isl_space_drop_outputs(__isl_take isl_space
*dim
,
118 unsigned first
, unsigned n
);
119 __isl_give isl_space
*isl_space_domain(__isl_take isl_space
*dim
);
120 __isl_give isl_space
*isl_space_from_domain(__isl_take isl_space
*dim
);
121 __isl_give isl_space
*isl_space_range(__isl_take isl_space
*dim
);
122 __isl_give isl_space
*isl_space_from_range(__isl_take isl_space
*dim
);
123 __isl_give isl_space
*isl_space_domain_map(__isl_take isl_space
*space
);
124 __isl_give isl_space
*isl_space_range_map(__isl_take isl_space
*space
);
125 __isl_give isl_space
*isl_space_params(__isl_take isl_space
*space
);
126 __isl_give isl_space
*isl_space_set_from_params(__isl_take isl_space
*space
);
128 __isl_give isl_space
*isl_space_align_params(__isl_take isl_space
*dim1
,
129 __isl_take isl_space
*dim2
);
131 int isl_space_is_wrapping(__isl_keep isl_space
*dim
);
132 int isl_space_domain_is_wrapping(__isl_keep isl_space
*space
);
133 int isl_space_range_is_wrapping(__isl_keep isl_space
*space
);
134 __isl_give isl_space
*isl_space_wrap(__isl_take isl_space
*dim
);
135 __isl_give isl_space
*isl_space_unwrap(__isl_take isl_space
*dim
);
137 int isl_space_can_zip(__isl_keep isl_space
*dim
);
138 __isl_give isl_space
*isl_space_zip(__isl_take isl_space
*dim
);
140 int isl_space_can_curry(__isl_keep isl_space
*space
);
141 __isl_give isl_space
*isl_space_curry(__isl_take isl_space
*space
);
143 int isl_space_can_uncurry(__isl_keep isl_space
*space
);
144 __isl_give isl_space
*isl_space_uncurry(__isl_take isl_space
*space
);
146 int isl_space_is_domain(__isl_keep isl_space
*space1
,
147 __isl_keep isl_space
*space2
);
148 int isl_space_is_range(__isl_keep isl_space
*space1
,
149 __isl_keep isl_space
*space2
);
150 int isl_space_is_equal(__isl_keep isl_space
*space1
,
151 __isl_keep isl_space
*space2
);
152 int isl_space_tuple_is_equal(__isl_keep isl_space
*space1
,
153 enum isl_dim_type type1
, __isl_keep isl_space
*space2
,
154 enum isl_dim_type type2
);
155 int isl_space_match(__isl_keep isl_space
*dim1
, enum isl_dim_type dim1_type
,
156 __isl_keep isl_space
*dim2
, enum isl_dim_type dim2_type
);
158 int isl_space_tuple_match(__isl_keep isl_space
*space1
, enum isl_dim_type type1
,
159 __isl_keep isl_space
*space2
, enum isl_dim_type type2
);
160 int isl_space_compatible(__isl_keep isl_space
*dim1
,
161 __isl_keep isl_space
*dim2
);
162 unsigned isl_space_dim(__isl_keep isl_space
*dim
, enum isl_dim_type type
);
164 __isl_give
char *isl_space_to_str(__isl_keep isl_space
*space
);
165 __isl_give isl_printer
*isl_printer_print_space(__isl_take isl_printer
*p
,
166 __isl_keep isl_space
*dim
);
167 void isl_space_dump(__isl_keep isl_space
*dim
);
169 #if defined(__cplusplus)