isl_obj.c

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