include/isl/union_map.h

   1 #ifndef ISL_UNION_MAP_H
   2 #define ISL_UNION_MAP_H
   3
   4 #include <isl/space.h>
   5 #include <isl/map_type.h>
   6 #include <isl/union_map_type.h>
   7 #include <isl/printer.h>
   8 #include <isl/val.h>
   9
  10 #if defined(__cplusplus)
  11 extern "C" {
  12 #endif
  13
  14 unsigned isl_union_map_dim(__isl_keep isl_union_map *umap,
  15         enum isl_dim_type type);
  16 __isl_give isl_id *isl_union_map_get_dim_id(__isl_keep isl_union_map *umap,
  17         enum isl_dim_type type, unsigned pos);
  18
  19 __isl_constructor
  20 __isl_give isl_union_map *isl_union_map_from_basic_map(
  21         __isl_take isl_basic_map *bmap);
  22 __isl_constructor
  23 __isl_give isl_union_map *isl_union_map_from_map(__isl_take isl_map *map);
  24 __isl_give isl_union_map *isl_union_map_empty(__isl_take isl_space *dim);
  25 __isl_give isl_union_map *isl_union_map_copy(__isl_keep isl_union_map *umap);
  26 __isl_null isl_union_map *isl_union_map_free(__isl_take isl_union_map *umap);
  27
  28 isl_ctx *isl_union_map_get_ctx(__isl_keep isl_union_map *umap);
  29 __isl_give isl_space *isl_union_map_get_space(__isl_keep isl_union_map *umap);
  30
  31 __isl_give isl_union_map *isl_union_map_reset_user(
  32         __isl_take isl_union_map *umap);
  33
  34 __isl_give isl_union_map *isl_union_map_universe(
  35         __isl_take isl_union_map *umap);
  36 __isl_give isl_set *isl_union_map_params(__isl_take isl_union_map *umap);
  37 __isl_give isl_union_set *isl_union_map_domain(__isl_take isl_union_map *umap);
  38 __isl_give isl_union_set *isl_union_map_range(__isl_take isl_union_map *umap);
  39 __isl_give isl_union_map *isl_union_map_domain_map(
  40         __isl_take isl_union_map *umap);
  41 __isl_give isl_union_map *isl_union_map_range_map(
  42         __isl_take isl_union_map *umap);
  43 __isl_give isl_union_map *isl_union_map_from_domain(
  44         __isl_take isl_union_set *uset);
  45 __isl_give isl_union_map *isl_union_map_from_range(
  46         __isl_take isl_union_set *uset);
  47
  48 __isl_export
  49 __isl_give isl_union_map *isl_union_map_affine_hull(
  50         __isl_take isl_union_map *umap);
  51 __isl_export
  52 __isl_give isl_union_map *isl_union_map_polyhedral_hull(
  53         __isl_take isl_union_map *umap);
  54 __isl_give isl_union_map *isl_union_map_simple_hull(
  55         __isl_take isl_union_map *umap);
  56 __isl_export
  57 __isl_give isl_union_map *isl_union_map_coalesce(
  58         __isl_take isl_union_map *umap);
  59 __isl_give isl_union_map *isl_union_map_compute_divs(
  60         __isl_take isl_union_map *umap);
  61 __isl_export
  62 __isl_give isl_union_map *isl_union_map_lexmin(__isl_take isl_union_map *umap);
  63 __isl_export
  64 __isl_give isl_union_map *isl_union_map_lexmax(__isl_take isl_union_map *umap);
  65
  66 __isl_give isl_union_map *isl_union_map_add_map(__isl_take isl_union_map *umap,
  67         __isl_take isl_map *map);
  68 __isl_export
  69 __isl_give isl_union_map *isl_union_map_union(__isl_take isl_union_map *umap1,
  70         __isl_take isl_union_map *umap2);
  71 __isl_export
  72 __isl_give isl_union_map *isl_union_map_subtract(
  73         __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2);
  74 __isl_export
  75 __isl_give isl_union_map *isl_union_map_intersect(
  76         __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2);
  77 __isl_export
  78 __isl_give isl_union_map *isl_union_map_intersect_params(
  79         __isl_take isl_union_map *umap, __isl_take isl_set *set);
  80 __isl_give isl_union_map *isl_union_map_product(__isl_take isl_union_map *umap1,
  81         __isl_take isl_union_map *umap2);
  82 __isl_give isl_union_map *isl_union_map_domain_product(
  83         __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2);
  84 __isl_give isl_union_map *isl_union_map_range_product(
  85         __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2);
  86 __isl_give isl_union_map *isl_union_map_flat_range_product(
  87         __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2);
  88 __isl_export
  89 __isl_give isl_union_map *isl_union_map_gist(__isl_take isl_union_map *umap,
  90         __isl_take isl_union_map *context);
  91 __isl_export
  92 __isl_give isl_union_map *isl_union_map_gist_params(
  93         __isl_take isl_union_map *umap, __isl_take isl_set *set);
  94 __isl_export
  95 __isl_give isl_union_map *isl_union_map_gist_domain(
  96         __isl_take isl_union_map *umap, __isl_take isl_union_set *uset);
  97 __isl_export
  98 __isl_give isl_union_map *isl_union_map_gist_range(
  99         __isl_take isl_union_map *umap, __isl_take isl_union_set *uset);
 100
 101 __isl_export
 102 __isl_give isl_union_map *isl_union_map_intersect_domain(
 103         __isl_take isl_union_map *umap, __isl_take isl_union_set *uset);
 104 __isl_export
 105 __isl_give isl_union_map *isl_union_map_intersect_range(
 106         __isl_take isl_union_map *umap, __isl_take isl_union_set *uset);
 107
 108 __isl_export
 109 __isl_give isl_union_map *isl_union_map_subtract_domain(
 110         __isl_take isl_union_map *umap, __isl_take isl_union_set *dom);
 111 __isl_export
 112 __isl_give isl_union_map *isl_union_map_subtract_range(
 113         __isl_take isl_union_map *umap, __isl_take isl_union_set *dom);
 114
 115 __isl_export
 116 __isl_give isl_union_map *isl_union_map_apply_domain(
 117         __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2);
 118 __isl_export
 119 __isl_give isl_union_map *isl_union_map_apply_range(
 120         __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2);
 121 __isl_give isl_union_map *isl_union_map_preimage_domain_multi_aff(
 122         __isl_take isl_union_map *umap, __isl_take isl_multi_aff *ma);
 123 __isl_give isl_union_map *isl_union_map_preimage_range_multi_aff(
 124         __isl_take isl_union_map *umap, __isl_take isl_multi_aff *ma);
 125 __isl_give isl_union_map *isl_union_map_preimage_domain_pw_multi_aff(
 126         __isl_take isl_union_map *umap, __isl_take isl_pw_multi_aff *pma);
 127 __isl_give isl_union_map *isl_union_map_preimage_range_pw_multi_aff(
 128         __isl_take isl_union_map *umap, __isl_take isl_pw_multi_aff *pma);
 129 __isl_give isl_union_map *isl_union_map_preimage_domain_multi_pw_aff(
 130         __isl_take isl_union_map *umap, __isl_take isl_multi_pw_aff *mpa);
 131 __isl_give isl_union_map *isl_union_map_preimage_domain_union_pw_multi_aff(
 132         __isl_take isl_union_map *umap,
 133         __isl_take isl_union_pw_multi_aff *upma);
 134 __isl_give isl_union_map *isl_union_map_preimage_range_union_pw_multi_aff(
 135         __isl_take isl_union_map *umap,
 136         __isl_take isl_union_pw_multi_aff *upma);
 137 __isl_export
 138 __isl_give isl_union_map *isl_union_map_reverse(__isl_take isl_union_map *umap);
 139 __isl_give isl_union_map *isl_union_map_from_domain_and_range(
 140         __isl_take isl_union_set *domain, __isl_take isl_union_set *range);
 141
 142 __isl_export
 143 __isl_give isl_union_map *isl_union_map_detect_equalities(
 144         __isl_take isl_union_map *umap);
 145 __isl_export
 146 __isl_give isl_union_set *isl_union_map_deltas(__isl_take isl_union_map *umap);
 147 __isl_give isl_union_map *isl_union_map_deltas_map(
 148         __isl_take isl_union_map *umap);
 149 __isl_export
 150 __isl_give isl_union_map *isl_union_set_identity(__isl_take isl_union_set *uset);
 151
 152 __isl_give isl_union_map *isl_union_map_project_out(
 153         __isl_take isl_union_map *umap,
 154         enum isl_dim_type type, unsigned first, unsigned n);
 155
 156 __isl_export
 157 int isl_union_map_is_empty(__isl_keep isl_union_map *umap);
 158 __isl_export
 159 int isl_union_map_is_single_valued(__isl_keep isl_union_map *umap);
 160 int isl_union_map_plain_is_injective(__isl_keep isl_union_map *umap);
 161 __isl_export
 162 int isl_union_map_is_injective(__isl_keep isl_union_map *umap);
 163 __isl_export
 164 int isl_union_map_is_bijective(__isl_keep isl_union_map *umap);
 165
 166 __isl_export
 167 int isl_union_map_is_subset(__isl_keep isl_union_map *umap1,
 168         __isl_keep isl_union_map *umap2);
 169 __isl_export
 170 int isl_union_map_is_equal(__isl_keep isl_union_map *umap1,
 171         __isl_keep isl_union_map *umap2);
 172 __isl_export
 173 int isl_union_map_is_strict_subset(__isl_keep isl_union_map *umap1,
 174         __isl_keep isl_union_map *umap2);
 175
 176 int isl_union_map_n_map(__isl_keep isl_union_map *umap);
 177 __isl_export
 178 int isl_union_map_foreach_map(__isl_keep isl_union_map *umap,
 179         int (*fn)(__isl_take isl_map *map, void *user), void *user);
 180 __isl_give int isl_union_map_contains(__isl_keep isl_union_map *umap,
 181         __isl_keep isl_space *dim);
 182 __isl_give isl_map *isl_union_map_extract_map(__isl_keep isl_union_map *umap,
 183         __isl_take isl_space *dim);
 184 __isl_give isl_map *isl_map_from_union_map(__isl_take isl_union_map *umap);
 185
 186 __isl_give isl_basic_map *isl_union_map_sample(__isl_take isl_union_map *umap);
 187
 188 __isl_give isl_union_map *isl_union_map_fixed_power_val(
 189         __isl_take isl_union_map *umap, __isl_take isl_val *exp);
 190 __isl_give isl_union_map *isl_union_map_power(__isl_take isl_union_map *umap,
 191         int *exact);
 192 __isl_give isl_union_map *isl_union_map_transitive_closure(
 193         __isl_take isl_union_map *umap, int *exact);
 194
 195 __isl_give isl_union_map *isl_union_map_lex_lt_union_map(
 196         __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2);
 197 __isl_give isl_union_map *isl_union_map_lex_le_union_map(
 198         __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2);
 199 __isl_give isl_union_map *isl_union_map_lex_gt_union_map(
 200         __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2);
 201 __isl_give isl_union_map *isl_union_map_lex_ge_union_map(
 202         __isl_take isl_union_map *umap1, __isl_take isl_union_map *umap2);
 203
 204 __isl_give isl_union_map *isl_union_map_read_from_file(isl_ctx *ctx,
 205         FILE *input);
 206 __isl_constructor
 207 __isl_give isl_union_map *isl_union_map_read_from_str(isl_ctx *ctx,
 208         const char *str);
 209 __isl_give isl_printer *isl_printer_print_union_map(__isl_take isl_printer *p,
 210         __isl_keep isl_union_map *umap);
 211 void isl_union_map_dump(__isl_keep isl_union_map *umap);
 212
 213 __isl_give isl_union_set *isl_union_map_wrap(__isl_take isl_union_map *umap);
 214 __isl_give isl_union_map *isl_union_set_unwrap(__isl_take isl_union_set *uset);
 215
 216 __isl_give isl_union_map *isl_union_map_zip(__isl_take isl_union_map *umap);
 217 __isl_give isl_union_map *isl_union_map_curry(__isl_take isl_union_map *umap);
 218 __isl_give isl_union_map *isl_union_map_uncurry(__isl_take isl_union_map *umap);
 219
 220 __isl_give isl_union_map *isl_union_map_align_params(
 221         __isl_take isl_union_map *umap, __isl_take isl_space *model);
 222 __isl_give isl_union_set *isl_union_set_align_params(
 223         __isl_take isl_union_set *uset, __isl_take isl_space *model);
 224
 225 #if defined(__cplusplus)
 226 }
 227 #endif
 228
 229 #include <isl/dim.h>
 230
 231 #endif