| 1 |
/* |
| 2 |
* Copyright 2008-2009 Katholieke Universiteit Leuven |
| 3 |
* |
| 4 |
* Use of this software is governed by the MIT license |
| 5 |
* |
| 6 |
* Written by Sven Verdoolaege, K.U.Leuven, Departement |
| 7 |
* Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium |
| 8 |
*/ |
| 9 |
|
| 10 |
#ifndef ISL_SPACE_H |
| 11 |
#define ISL_SPACE_H |
| 12 |
|
| 13 |
#include <isl/ctx.h> |
| 14 |
#include <isl/space_type.h> |
| 15 |
#include <isl/id_type.h> |
| 16 |
#include <isl/printer.h> |
| 17 |
|
| 18 |
#if defined(__cplusplus) |
| 19 |
extern "C" { |
| 20 |
#endif |
| 21 |
|
| 22 |
isl_ctx *isl_space_get_ctx(__isl_keep isl_space *space); |
| 23 |
__isl_export |
| 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); |
| 32 |
|
| 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); |
| 36 |
|
| 37 |
__isl_give isl_space *isl_space_add_param_id(__isl_take isl_space *space, |
| 38 |
__isl_take isl_id *id); |
| 39 |
|
| 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_overload |
| 47 |
__isl_give isl_space *isl_space_set_domain_tuple_id( |
| 48 |
__isl_take isl_space *space, __isl_take isl_id *id); |
| 49 |
__isl_overload |
| 50 |
__isl_give isl_space *isl_space_set_range_tuple_id( |
| 51 |
__isl_take isl_space *space, __isl_take isl_id *id); |
| 52 |
__isl_give isl_space *isl_space_set_tuple_id(__isl_take isl_space *space, |
| 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 *space, |
| 55 |
enum isl_dim_type type); |
| 56 |
__isl_export |
| 57 |
isl_bool isl_space_has_domain_tuple_id(__isl_keep isl_space *space); |
| 58 |
__isl_export |
| 59 |
isl_bool isl_space_has_range_tuple_id(__isl_keep isl_space *space); |
| 60 |
isl_bool isl_space_has_tuple_id(__isl_keep isl_space *space, |
| 61 |
enum isl_dim_type type); |
| 62 |
__isl_export |
| 63 |
__isl_give isl_id *isl_space_get_domain_tuple_id( |
| 64 |
__isl_keep isl_space *space); |
| 65 |
__isl_export |
| 66 |
__isl_give isl_id *isl_space_get_range_tuple_id( |
| 67 |
__isl_keep isl_space *space); |
| 68 |
__isl_give isl_id *isl_space_get_tuple_id(__isl_keep isl_space *space, |
| 69 |
enum isl_dim_type type); |
| 70 |
__isl_give isl_space *isl_space_reset_user(__isl_take isl_space *space); |
| 71 |
|
| 72 |
__isl_give isl_space *isl_space_set_dim_id(__isl_take isl_space *space, |
| 73 |
enum isl_dim_type type, unsigned pos, __isl_take isl_id *id); |
| 74 |
isl_bool isl_space_has_dim_id(__isl_keep isl_space *space, |
| 75 |
enum isl_dim_type type, unsigned pos); |
| 76 |
__isl_give isl_id *isl_space_get_dim_id(__isl_keep isl_space *space, |
| 77 |
enum isl_dim_type type, unsigned pos); |
| 78 |
|
| 79 |
int isl_space_find_dim_by_id(__isl_keep isl_space *space, |
| 80 |
enum isl_dim_type type, __isl_keep isl_id *id); |
| 81 |
int isl_space_find_dim_by_name(__isl_keep isl_space *space, |
| 82 |
enum isl_dim_type type, const char *name); |
| 83 |
|
| 84 |
isl_bool isl_space_has_dim_name(__isl_keep isl_space *space, |
| 85 |
enum isl_dim_type type, unsigned pos); |
| 86 |
__isl_give isl_space *isl_space_set_dim_name(__isl_take isl_space *space, |
| 87 |
enum isl_dim_type type, unsigned pos, |
| 88 |
__isl_keep const char *name); |
| 89 |
__isl_keep const char *isl_space_get_dim_name(__isl_keep isl_space *space, |
| 90 |
enum isl_dim_type type, unsigned pos); |
| 91 |
|
| 92 |
ISL_DEPRECATED |
| 93 |
__isl_give isl_space *isl_space_extend(__isl_take isl_space *space, |
| 94 |
unsigned nparam, unsigned n_in, unsigned n_out); |
| 95 |
__isl_give isl_space *isl_space_add_dims(__isl_take isl_space *space, |
| 96 |
enum isl_dim_type type, unsigned n); |
| 97 |
__isl_give isl_space *isl_space_move_dims(__isl_take isl_space *space, |
| 98 |
enum isl_dim_type dst_type, unsigned dst_pos, |
| 99 |
enum isl_dim_type src_type, unsigned src_pos, unsigned n); |
| 100 |
__isl_give isl_space *isl_space_insert_dims(__isl_take isl_space *space, |
| 101 |
enum isl_dim_type type, unsigned pos, unsigned n); |
| 102 |
__isl_give isl_space *isl_space_join(__isl_take isl_space *left, |
| 103 |
__isl_take isl_space *right); |
| 104 |
__isl_export |
| 105 |
__isl_give isl_space *isl_space_product(__isl_take isl_space *left, |
| 106 |
__isl_take isl_space *right); |
| 107 |
__isl_give isl_space *isl_space_domain_product(__isl_take isl_space *left, |
| 108 |
__isl_take isl_space *right); |
| 109 |
__isl_give isl_space *isl_space_range_product(__isl_take isl_space *left, |
| 110 |
__isl_take isl_space *right); |
| 111 |
__isl_give isl_space *isl_space_factor_domain(__isl_take isl_space *space); |
| 112 |
__isl_give isl_space *isl_space_factor_range(__isl_take isl_space *space); |
| 113 |
__isl_give isl_space *isl_space_domain_factor_domain( |
| 114 |
__isl_take isl_space *space); |
| 115 |
__isl_give isl_space *isl_space_domain_factor_range( |
| 116 |
__isl_take isl_space *space); |
| 117 |
__isl_give isl_space *isl_space_range_factor_domain( |
| 118 |
__isl_take isl_space *space); |
| 119 |
__isl_give isl_space *isl_space_range_factor_range( |
| 120 |
__isl_take isl_space *space); |
| 121 |
__isl_export |
| 122 |
__isl_give isl_space *isl_space_map_from_set(__isl_take isl_space *space); |
| 123 |
__isl_give isl_space *isl_space_map_from_domain_and_range( |
| 124 |
__isl_take isl_space *domain, __isl_take isl_space *range); |
| 125 |
__isl_export |
| 126 |
__isl_give isl_space *isl_space_reverse(__isl_take isl_space *space); |
| 127 |
__isl_export |
| 128 |
__isl_give isl_space *isl_space_range_reverse(__isl_take isl_space *space); |
| 129 |
__isl_give isl_space *isl_space_drop_dims(__isl_take isl_space *space, |
| 130 |
enum isl_dim_type type, unsigned first, unsigned num); |
| 131 |
ISL_DEPRECATED |
| 132 |
__isl_give isl_space *isl_space_drop_inputs(__isl_take isl_space *space, |
| 133 |
unsigned first, unsigned n); |
| 134 |
ISL_DEPRECATED |
| 135 |
__isl_give isl_space *isl_space_drop_outputs(__isl_take isl_space *space, |
| 136 |
unsigned first, unsigned n); |
| 137 |
__isl_give isl_space *isl_space_drop_all_params(__isl_take isl_space *space); |
| 138 |
__isl_export |
| 139 |
__isl_give isl_space *isl_space_domain(__isl_take isl_space *space); |
| 140 |
__isl_give isl_space *isl_space_from_domain(__isl_take isl_space *space); |
| 141 |
__isl_export |
| 142 |
__isl_give isl_space *isl_space_range(__isl_take isl_space *space); |
| 143 |
__isl_give isl_space *isl_space_from_range(__isl_take isl_space *space); |
| 144 |
__isl_give isl_space *isl_space_domain_map(__isl_take isl_space *space); |
| 145 |
__isl_give isl_space *isl_space_range_map(__isl_take isl_space *space); |
| 146 |
__isl_export |
| 147 |
__isl_give isl_space *isl_space_params(__isl_take isl_space *space); |
| 148 |
__isl_overload |
| 149 |
__isl_give isl_space *isl_space_add_unnamed_tuple_ui( |
| 150 |
__isl_take isl_space *space, unsigned dim); |
| 151 |
__isl_overload |
| 152 |
__isl_give isl_space *isl_space_add_named_tuple_id_ui( |
| 153 |
__isl_take isl_space *space, __isl_take isl_id *tuple_id, unsigned dim); |
| 154 |
__isl_give isl_space *isl_space_set_from_params(__isl_take isl_space *space); |
| 155 |
|
| 156 |
__isl_give isl_space *isl_space_align_params(__isl_take isl_space *space1, |
| 157 |
__isl_take isl_space *space2); |
| 158 |
|
| 159 |
__isl_export |
| 160 |
isl_bool isl_space_is_wrapping(__isl_keep isl_space *space); |
| 161 |
isl_bool isl_space_domain_is_wrapping(__isl_keep isl_space *space); |
| 162 |
isl_bool isl_space_range_is_wrapping(__isl_keep isl_space *space); |
| 163 |
isl_bool isl_space_is_product(__isl_keep isl_space *space); |
| 164 |
__isl_export |
| 165 |
__isl_give isl_space *isl_space_wrap(__isl_take isl_space *space); |
| 166 |
__isl_export |
| 167 |
__isl_give isl_space *isl_space_unwrap(__isl_take isl_space *space); |
| 168 |
|
| 169 |
isl_bool isl_space_can_zip(__isl_keep isl_space *space); |
| 170 |
__isl_give isl_space *isl_space_zip(__isl_take isl_space *space); |
| 171 |
|
| 172 |
isl_bool isl_space_can_curry(__isl_keep isl_space *space); |
| 173 |
__isl_export |
| 174 |
__isl_give isl_space *isl_space_curry(__isl_take isl_space *space); |
| 175 |
|
| 176 |
isl_bool isl_space_can_range_curry(__isl_keep isl_space *space); |
| 177 |
__isl_give isl_space *isl_space_range_curry(__isl_take isl_space *space); |
| 178 |
|
| 179 |
isl_bool isl_space_can_uncurry(__isl_keep isl_space *space); |
| 180 |
__isl_export |
| 181 |
__isl_give isl_space *isl_space_uncurry(__isl_take isl_space *space); |
| 182 |
|
| 183 |
isl_bool isl_space_is_domain(__isl_keep isl_space *space1, |
| 184 |
__isl_keep isl_space *space2); |
| 185 |
isl_bool isl_space_is_range(__isl_keep isl_space *space1, |
| 186 |
__isl_keep isl_space *space2); |
| 187 |
__isl_export |
| 188 |
isl_bool isl_space_is_equal(__isl_keep isl_space *space1, |
| 189 |
__isl_keep isl_space *space2); |
| 190 |
isl_bool isl_space_has_equal_params(__isl_keep isl_space *space1, |
| 191 |
__isl_keep isl_space *space2); |
| 192 |
isl_bool isl_space_has_equal_tuples(__isl_keep isl_space *space1, |
| 193 |
__isl_keep isl_space *space2); |
| 194 |
isl_bool isl_space_tuple_is_equal(__isl_keep isl_space *space1, |
| 195 |
enum isl_dim_type type1, __isl_keep isl_space *space2, |
| 196 |
enum isl_dim_type type2); |
| 197 |
ISL_DEPRECATED |
| 198 |
isl_bool isl_space_match(__isl_keep isl_space *space1, enum isl_dim_type type1, |
| 199 |
__isl_keep isl_space *space2, enum isl_dim_type type2); |
| 200 |
isl_size isl_space_dim(__isl_keep isl_space *space, enum isl_dim_type type); |
| 201 |
|
| 202 |
__isl_export |
| 203 |
__isl_give isl_space *isl_space_flatten_domain(__isl_take isl_space *space); |
| 204 |
__isl_export |
| 205 |
__isl_give isl_space *isl_space_flatten_range(__isl_take isl_space *space); |
| 206 |
|
| 207 |
__isl_give char *isl_space_to_str(__isl_keep isl_space *space); |
| 208 |
__isl_give isl_printer *isl_printer_print_space(__isl_take isl_printer *p, |
| 209 |
__isl_keep isl_space *space); |
| 210 |
void isl_space_dump(__isl_keep isl_space *space); |
| 211 |
|
| 212 |
#if defined(__cplusplus) |
| 213 |
} |
| 214 |
#endif |
| 215 |
|
| 216 |
#endif |
