isl_obj.c

   1 /*
   2  * Copyright 2010      INRIA Saclay
   3  *
   4  * Use of this software is governed by the GNU LGPLv2.1 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_obj.h>
  12
  13 static void *isl_obj_map_copy(void *v)
  14 {
  15         return isl_map_copy((struct isl_map *)v);
  16 }
  17
  18 static void isl_obj_map_free(void *v)
  19 {
  20         isl_map_free((struct isl_map *)v);
  21 }
  22
  23 static void isl_obj_map_print(void *v, FILE *out)
  24 {
  25         isl_map_print((struct isl_map *)v, out, 0, ISL_FORMAT_ISL);
  26 }
  27
  28 static void *isl_obj_map_add(void *v1, void *v2)
  29 {
  30         return isl_map_union((struct isl_map *)v1, (struct isl_map *)v2);
  31 }
  32
  33 struct isl_obj_vtable isl_obj_map_vtable = {
  34         isl_obj_map_copy,
  35         isl_obj_map_add,
  36         isl_obj_map_print,
  37         isl_obj_map_free
  38 };
  39
  40 static void *isl_obj_set_copy(void *v)
  41 {
  42         return isl_set_copy((struct isl_set *)v);
  43 }
  44
  45 static void isl_obj_set_free(void *v)
  46 {
  47         isl_set_free((struct isl_set *)v);
  48 }
  49
  50 static void isl_obj_set_print(void *v, FILE *out)
  51 {
  52         isl_set_print((struct isl_set *)v, out, 0, ISL_FORMAT_ISL);
  53 }
  54
  55 static void *isl_obj_set_add(void *v1, void *v2)
  56 {
  57         return isl_set_union((struct isl_set *)v1, (struct isl_set *)v2);
  58 }
  59
  60 struct isl_obj_vtable isl_obj_set_vtable = {
  61         isl_obj_set_copy,
  62         isl_obj_set_add,
  63         isl_obj_set_print,
  64         isl_obj_set_free
  65 };
  66
  67 static void *isl_obj_none_copy(void *v)
  68 {
  69         return v;
  70 }
  71
  72 static void isl_obj_none_free(void *v)
  73 {
  74 }
  75
  76 static void isl_obj_none_print(void *v, FILE *out)
  77 {
  78 }
  79
  80 static void *isl_obj_none_add(void *v1, void *v2)
  81 {
  82 }
  83
  84 static struct isl_obj_vtable obj_none = {
  85         isl_obj_none_copy,
  86         isl_obj_none_add,
  87         isl_obj_none_print,
  88         isl_obj_none_free
  89 };
  90 isl_obj_type isl_obj_none = &obj_none;
  91
  92 static void *isl_obj_pw_qp_copy(void *v)
  93 {
  94         return isl_pw_qpolynomial_copy((struct isl_pw_qpolynomial *)v);
  95 }
  96
  97 static void isl_obj_pw_qp_free(void *v)
  98 {
  99         isl_pw_qpolynomial_free((struct isl_pw_qpolynomial *)v);
 100 }
 101
 102 static void isl_obj_pw_qp_print(void *v, FILE *out)
 103 {
 104         isl_pw_qpolynomial_print((struct isl_pw_qpolynomial *)v, out,
 105                                         ISL_FORMAT_ISL);
 106 }
 107
 108 static void *isl_obj_pw_qp_add(void *v1, void *v2)
 109 {
 110         return isl_pw_qpolynomial_add((struct isl_pw_qpolynomial *)v1,
 111                                         (struct isl_pw_qpolynomial *)v2);
 112 }
 113
 114 struct isl_obj_vtable isl_obj_pw_qpolynomial_vtable = {
 115         isl_obj_pw_qp_copy,
 116         isl_obj_pw_qp_add,
 117         isl_obj_pw_qp_print,
 118         isl_obj_pw_qp_free
 119 };