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 __isl_give isl_printer *isl_obj_map_print(__isl_take isl_printer *p,
  24         void *v)
  25 {
  26         return isl_printer_print_map(p, (struct isl_map *)v);
  27 }
  28
  29 static void *isl_obj_map_add(void *v1, void *v2)
  30 {
  31         return isl_map_union((struct isl_map *)v1, (struct isl_map *)v2);
  32 }
  33
  34 struct isl_obj_vtable isl_obj_map_vtable = {
  35         isl_obj_map_copy,
  36         isl_obj_map_add,
  37         isl_obj_map_print,
  38         isl_obj_map_free
  39 };
  40
  41 static void *isl_obj_set_copy(void *v)
  42 {
  43         return isl_set_copy((struct isl_set *)v);
  44 }
  45
  46 static void isl_obj_set_free(void *v)
  47 {
  48         isl_set_free((struct isl_set *)v);
  49 }
  50
  51 static __isl_give isl_printer *isl_obj_set_print(__isl_take isl_printer *p,
  52         void *v)
  53 {
  54         return isl_printer_print_set(p, (struct isl_set *)v);
  55 }
  56
  57 static void *isl_obj_set_add(void *v1, void *v2)
  58 {
  59         return isl_set_union((struct isl_set *)v1, (struct isl_set *)v2);
  60 }
  61
  62 struct isl_obj_vtable isl_obj_set_vtable = {
  63         isl_obj_set_copy,
  64         isl_obj_set_add,
  65         isl_obj_set_print,
  66         isl_obj_set_free
  67 };
  68
  69 static void *isl_obj_none_copy(void *v)
  70 {
  71         return v;
  72 }
  73
  74 static void isl_obj_none_free(void *v)
  75 {
  76 }
  77
  78 static __isl_give isl_printer *isl_obj_none_print(__isl_take isl_printer *p,
  79         void *v)
  80 {
  81         return p;
  82 }
  83
  84 static void *isl_obj_none_add(void *v1, void *v2)
  85 {
  86         return NULL;
  87 }
  88
  89 static struct isl_obj_vtable obj_none = {
  90         isl_obj_none_copy,
  91         isl_obj_none_add,
  92         isl_obj_none_print,
  93         isl_obj_none_free
  94 };
  95 isl_obj_type isl_obj_none = &obj_none;
  96
  97 static void *isl_obj_pw_qp_copy(void *v)
  98 {
  99         return isl_pw_qpolynomial_copy((struct isl_pw_qpolynomial *)v);
 100 }
 101
 102 static void isl_obj_pw_qp_free(void *v)
 103 {
 104         isl_pw_qpolynomial_free((struct isl_pw_qpolynomial *)v);
 105 }
 106
 107 static __isl_give isl_printer *isl_obj_pw_qp_print(__isl_take isl_printer *p,
 108         void *v)
 109 {
 110         return isl_printer_print_pw_qpolynomial(p,
 111                                                 (struct isl_pw_qpolynomial *)v);
 112 }
 113
 114 static void *isl_obj_pw_qp_add(void *v1, void *v2)
 115 {
 116         return isl_pw_qpolynomial_add((struct isl_pw_qpolynomial *)v1,
 117                                         (struct isl_pw_qpolynomial *)v2);
 118 }
 119
 120 struct isl_obj_vtable isl_obj_pw_qpolynomial_vtable = {
 121         isl_obj_pw_qp_copy,
 122         isl_obj_pw_qp_add,
 123         isl_obj_pw_qp_print,
 124         isl_obj_pw_qp_free
 125 };
 126
 127 static void *isl_obj_pw_qpf_copy(void *v)
 128 {
 129         return isl_pw_qpolynomial_fold_copy((struct isl_pw_qpolynomial_fold *)v);
 130 }
 131
 132 static void isl_obj_pw_qpf_free(void *v)
 133 {
 134         isl_pw_qpolynomial_fold_free((struct isl_pw_qpolynomial_fold *)v);
 135 }
 136
 137 static __isl_give isl_printer *isl_obj_pw_qpf_print(__isl_take isl_printer *p,
 138         void *v)
 139 {
 140         return isl_printer_print_pw_qpolynomial_fold(p,
 141                                         (struct isl_pw_qpolynomial_fold *)v);
 142 }
 143
 144 static void *isl_obj_pw_qpf_add(void *v1, void *v2)
 145 {
 146         return isl_pw_qpolynomial_fold_add((struct isl_pw_qpolynomial_fold *)v1,
 147                                             (struct isl_pw_qpolynomial_fold *)v2);
 148 }
 149
 150 struct isl_obj_vtable isl_obj_pw_qpolynomial_fold_vtable = {
 151         isl_obj_pw_qpf_copy,
 152         isl_obj_pw_qpf_add,
 153         isl_obj_pw_qpf_print,
 154         isl_obj_pw_qpf_free
 155 };