isl_obj.c

   1 /*
   2  * Copyright 2010      INRIA Saclay
   3  * Copyright 2014      Ecole Normale Superieure
   4  *
   5  * Use of this software is governed by the MIT license
   6  *
   7  * Written by Sven Verdoolaege, INRIA Saclay - Ile-de-France,
   8  * Parc Club Orsay Universite, ZAC des vignes, 4 rue Jacques Monod,
   9  * 91893 Orsay, France
  10  * and Ecole Normale Superieure, 45 rue d'Ulm, 75230 Paris, France
  11  */
  12
  13 #include <isl/aff.h>
  14 #include <isl/set.h>
  15 #include <isl/map.h>
  16 #include <isl/polynomial.h>
  17 #include <isl/obj.h>
  18
  19 static void *isl_obj_val_copy(void *v)
  20 {
  21         return isl_val_copy((isl_val *)v);
  22 }
  23
  24 static void isl_obj_val_free(void *v)
  25 {
  26         isl_val_free((isl_val *)v);
  27 }
  28
  29 static __isl_give isl_printer *isl_obj_val_print(__isl_take isl_printer *p,
  30         void *v)
  31 {
  32         return isl_printer_print_val(p, (isl_val *)v);
  33 }
  34
  35 static void *isl_obj_val_add(void *v1, void *v2)
  36 {
  37         return isl_val_add((isl_val *) v1, (isl_val *) v2);
  38 }
  39
  40 struct isl_obj_vtable isl_obj_val_vtable = {
  41         isl_obj_val_copy,
  42         isl_obj_val_add,
  43         isl_obj_val_print,
  44         isl_obj_val_free
  45 };
  46
  47 static void *isl_obj_map_copy(void *v)
  48 {
  49         return isl_map_copy((struct isl_map *)v);
  50 }
  51
  52 static void isl_obj_map_free(void *v)
  53 {
  54         isl_map_free((struct isl_map *)v);
  55 }
  56
  57 static __isl_give isl_printer *isl_obj_map_print(__isl_take isl_printer *p,
  58         void *v)
  59 {
  60         return isl_printer_print_map(p, (struct isl_map *)v);
  61 }
  62
  63 static void *isl_obj_map_add(void *v1, void *v2)
  64 {
  65         return isl_map_union((struct isl_map *)v1, (struct isl_map *)v2);
  66 }
  67
  68 struct isl_obj_vtable isl_obj_map_vtable = {
  69         isl_obj_map_copy,
  70         isl_obj_map_add,
  71         isl_obj_map_print,
  72         isl_obj_map_free
  73 };
  74
  75 static void *isl_obj_union_map_copy(void *v)
  76 {
  77         return isl_union_map_copy((isl_union_map *)v);
  78 }
  79
  80 static void isl_obj_union_map_free(void *v)
  81 {
  82         isl_union_map_free((isl_union_map *)v);
  83 }
  84
  85 static __isl_give isl_printer *isl_obj_union_map_print(__isl_take isl_printer *p,
  86         void *v)
  87 {
  88         return isl_printer_print_union_map(p, (isl_union_map *)v);
  89 }
  90
  91 static void *isl_obj_union_map_add(void *v1, void *v2)
  92 {
  93         return isl_union_map_union((isl_union_map *)v1, (isl_union_map *)v2);
  94 }
  95
  96 struct isl_obj_vtable isl_obj_union_map_vtable = {
  97         isl_obj_union_map_copy,
  98         isl_obj_union_map_add,
  99         isl_obj_union_map_print,
 100         isl_obj_union_map_free
 101 };
 102
 103 static void *isl_obj_set_copy(void *v)
 104 {
 105         return isl_set_copy((struct isl_set *)v);
 106 }
 107
 108 static void isl_obj_set_free(void *v)
 109 {
 110         isl_set_free((struct isl_set *)v);
 111 }
 112
 113 static __isl_give isl_printer *isl_obj_set_print(__isl_take isl_printer *p,
 114         void *v)
 115 {
 116         return isl_printer_print_set(p, (struct isl_set *)v);
 117 }
 118
 119 static void *isl_obj_set_add(void *v1, void *v2)
 120 {
 121         return isl_set_union((struct isl_set *)v1, (struct isl_set *)v2);
 122 }
 123
 124 struct isl_obj_vtable isl_obj_set_vtable = {
 125         isl_obj_set_copy,
 126         isl_obj_set_add,
 127         isl_obj_set_print,
 128         isl_obj_set_free
 129 };
 130
 131 static void *isl_obj_union_set_copy(void *v)
 132 {
 133         return isl_union_set_copy((isl_union_set *)v);
 134 }
 135
 136 static void isl_obj_union_set_free(void *v)
 137 {
 138         isl_union_set_free((isl_union_set *)v);
 139 }
 140
 141 static __isl_give isl_printer *isl_obj_union_set_print(__isl_take isl_printer *p,
 142         void *v)
 143 {
 144         return isl_printer_print_union_set(p, (isl_union_set *)v);
 145 }
 146
 147 static void *isl_obj_union_set_add(void *v1, void *v2)
 148 {
 149         return isl_union_set_union((isl_union_set *)v1, (isl_union_set *)v2);
 150 }
 151
 152 struct isl_obj_vtable isl_obj_union_set_vtable = {
 153         isl_obj_union_set_copy,
 154         isl_obj_union_set_add,
 155         isl_obj_union_set_print,
 156         isl_obj_union_set_free
 157 };
 158
 159 static void *isl_obj_pw_multi_aff_copy(void *v)
 160 {
 161         return isl_pw_multi_aff_copy((isl_pw_multi_aff *) v);
 162 }
 163
 164 static void isl_obj_pw_multi_aff_free(void *v)
 165 {
 166         isl_pw_multi_aff_free((isl_pw_multi_aff *) v);
 167 }
 168
 169 static __isl_give isl_printer *isl_obj_pw_multi_aff_print(
 170         __isl_take isl_printer *p, void *v)
 171 {
 172         return isl_printer_print_pw_multi_aff(p, (isl_pw_multi_aff *) v);
 173 }
 174
 175 static void *isl_obj_pw_multi_aff_add(void *v1, void *v2)
 176 {
 177         return isl_pw_multi_aff_add((isl_pw_multi_aff *) v1,
 178                                     (isl_pw_multi_aff *) v2);
 179 }
 180
 181 struct isl_obj_vtable isl_obj_pw_multi_aff_vtable = {
 182         isl_obj_pw_multi_aff_copy,
 183         isl_obj_pw_multi_aff_add,
 184         isl_obj_pw_multi_aff_print,
 185         isl_obj_pw_multi_aff_free
 186 };
 187
 188 static void *isl_obj_none_copy(void *v)
 189 {
 190         return v;
 191 }
 192
 193 static void isl_obj_none_free(void *v)
 194 {
 195 }
 196
 197 static __isl_give isl_printer *isl_obj_none_print(__isl_take isl_printer *p,
 198         void *v)
 199 {
 200         return p;
 201 }
 202
 203 static void *isl_obj_none_add(void *v1, void *v2)
 204 {
 205         return NULL;
 206 }
 207
 208 struct isl_obj_vtable isl_obj_none_vtable = {
 209         isl_obj_none_copy,
 210         isl_obj_none_add,
 211         isl_obj_none_print,
 212         isl_obj_none_free
 213 };
 214
 215 static void *isl_obj_pw_qp_copy(void *v)
 216 {
 217         return isl_pw_qpolynomial_copy((struct isl_pw_qpolynomial *)v);
 218 }
 219
 220 static void isl_obj_pw_qp_free(void *v)
 221 {
 222         isl_pw_qpolynomial_free((struct isl_pw_qpolynomial *)v);
 223 }
 224
 225 static __isl_give isl_printer *isl_obj_pw_qp_print(__isl_take isl_printer *p,
 226         void *v)
 227 {
 228         return isl_printer_print_pw_qpolynomial(p,
 229                                                 (struct isl_pw_qpolynomial *)v);
 230 }
 231
 232 static void *isl_obj_pw_qp_add(void *v1, void *v2)
 233 {
 234         return isl_pw_qpolynomial_add((struct isl_pw_qpolynomial *)v1,
 235                                         (struct isl_pw_qpolynomial *)v2);
 236 }
 237
 238 struct isl_obj_vtable isl_obj_pw_qpolynomial_vtable = {
 239         isl_obj_pw_qp_copy,
 240         isl_obj_pw_qp_add,
 241         isl_obj_pw_qp_print,
 242         isl_obj_pw_qp_free
 243 };
 244
 245 static void *isl_obj_union_pw_qp_copy(void *v)
 246 {
 247         return isl_union_pw_qpolynomial_copy((struct isl_union_pw_qpolynomial *)v);
 248 }
 249
 250 static void isl_obj_union_pw_qp_free(void *v)
 251 {
 252         isl_union_pw_qpolynomial_free((struct isl_union_pw_qpolynomial *)v);
 253 }
 254
 255 static __isl_give isl_printer *isl_obj_union_pw_qp_print(
 256         __isl_take isl_printer *p, void *v)
 257 {
 258         return isl_printer_print_union_pw_qpolynomial(p,
 259                                         (struct isl_union_pw_qpolynomial *)v);
 260 }
 261
 262 static void *isl_obj_union_pw_qp_add(void *v1, void *v2)
 263 {
 264         return isl_union_pw_qpolynomial_add(
 265                                         (struct isl_union_pw_qpolynomial *)v1,
 266                                         (struct isl_union_pw_qpolynomial *)v2);
 267 }
 268
 269 struct isl_obj_vtable isl_obj_union_pw_qpolynomial_vtable = {
 270         isl_obj_union_pw_qp_copy,
 271         isl_obj_union_pw_qp_add,
 272         isl_obj_union_pw_qp_print,
 273         isl_obj_union_pw_qp_free
 274 };
 275
 276 static void *isl_obj_pw_qpf_copy(void *v)
 277 {
 278         return isl_pw_qpolynomial_fold_copy((struct isl_pw_qpolynomial_fold *)v);
 279 }
 280
 281 static void isl_obj_pw_qpf_free(void *v)
 282 {
 283         isl_pw_qpolynomial_fold_free((struct isl_pw_qpolynomial_fold *)v);
 284 }
 285
 286 static __isl_give isl_printer *isl_obj_pw_qpf_print(__isl_take isl_printer *p,
 287         void *v)
 288 {
 289         return isl_printer_print_pw_qpolynomial_fold(p,
 290                                         (struct isl_pw_qpolynomial_fold *)v);
 291 }
 292
 293 static void *isl_obj_pw_qpf_add(void *v1, void *v2)
 294 {
 295         return isl_pw_qpolynomial_fold_fold((struct isl_pw_qpolynomial_fold *)v1,
 296                                             (struct isl_pw_qpolynomial_fold *)v2);
 297 }
 298
 299 struct isl_obj_vtable isl_obj_pw_qpolynomial_fold_vtable = {
 300         isl_obj_pw_qpf_copy,
 301         isl_obj_pw_qpf_add,
 302         isl_obj_pw_qpf_print,
 303         isl_obj_pw_qpf_free
 304 };
 305
 306 static void *isl_obj_union_pw_qpf_copy(void *v)
 307 {
 308         return isl_union_pw_qpolynomial_fold_copy((struct isl_union_pw_qpolynomial_fold *)v);
 309 }
 310
 311 static void isl_obj_union_pw_qpf_free(void *v)
 312 {
 313         isl_union_pw_qpolynomial_fold_free((struct isl_union_pw_qpolynomial_fold *)v);
 314 }
 315
 316 static __isl_give isl_printer *isl_obj_union_pw_qpf_print(
 317         __isl_take isl_printer *p, void *v)
 318 {
 319         return isl_printer_print_union_pw_qpolynomial_fold(p,
 320                                     (struct isl_union_pw_qpolynomial_fold *)v);
 321 }
 322
 323 static void *isl_obj_union_pw_qpf_add(void *v1, void *v2)
 324 {
 325         return isl_union_pw_qpolynomial_fold_fold(
 326                                     (struct isl_union_pw_qpolynomial_fold *)v1,
 327                                     (struct isl_union_pw_qpolynomial_fold *)v2);
 328 }
 329
 330 struct isl_obj_vtable isl_obj_union_pw_qpolynomial_fold_vtable = {
 331         isl_obj_union_pw_qpf_copy,
 332         isl_obj_union_pw_qpf_add,
 333         isl_obj_union_pw_qpf_print,
 334         isl_obj_union_pw_qpf_free
 335 };