include/isl/obj.h

   1 #ifndef ISL_OBJ_H
   2 #define ISL_OBJ_H
   3
   4 #include <isl/set_type.h>
   5 #include <isl/map_type.h>
   6 #include <isl/union_set.h>
   7 #include <isl/union_map.h>
   8 #include <isl/polynomial_type.h>
   9 #include <isl/printer.h>
  10
  11 #if defined(__cplusplus)
  12 extern "C" {
  13 #endif
  14
  15 struct isl_obj_vtable {
  16         void *(*copy)(void *v1);
  17         void *(*add)(void *v1, void *v2);
  18         __isl_give isl_printer *(*print)(__isl_take isl_printer *p, void *v);
  19         void (*free)(void *v);
  20 };
  21 typedef struct isl_obj_vtable *isl_obj_type;
  22 extern struct isl_obj_vtable isl_obj_none_vtable;
  23 #define isl_obj_none            (&isl_obj_none_vtable)
  24 extern struct isl_obj_vtable isl_obj_int_vtable;
  25 #define isl_obj_int             (&isl_obj_int_vtable)
  26 extern struct isl_obj_vtable isl_obj_set_vtable;
  27 #define isl_obj_set             (&isl_obj_set_vtable)
  28 extern struct isl_obj_vtable isl_obj_union_set_vtable;
  29 #define isl_obj_union_set       (&isl_obj_union_set_vtable)
  30 extern struct isl_obj_vtable isl_obj_map_vtable;
  31 #define isl_obj_map             (&isl_obj_map_vtable)
  32 extern struct isl_obj_vtable isl_obj_union_map_vtable;
  33 #define isl_obj_union_map       (&isl_obj_union_map_vtable)
  34 extern struct isl_obj_vtable isl_obj_pw_qpolynomial_vtable;
  35 #define isl_obj_pw_qpolynomial  (&isl_obj_pw_qpolynomial_vtable)
  36 extern struct isl_obj_vtable isl_obj_union_pw_qpolynomial_vtable;
  37 #define isl_obj_union_pw_qpolynomial    (&isl_obj_union_pw_qpolynomial_vtable)
  38 extern struct isl_obj_vtable isl_obj_pw_qpolynomial_fold_vtable;
  39 #define isl_obj_pw_qpolynomial_fold     (&isl_obj_pw_qpolynomial_fold_vtable)
  40 extern struct isl_obj_vtable isl_obj_union_pw_qpolynomial_fold_vtable;
  41 #define isl_obj_union_pw_qpolynomial_fold       (&isl_obj_union_pw_qpolynomial_fold_vtable)
  42 struct isl_obj {
  43         isl_obj_type    type;
  44         void            *v;
  45 };
  46
  47 struct isl_int_obj;
  48 typedef struct isl_int_obj isl_int_obj;
  49
  50 __isl_give isl_int_obj *isl_int_obj_alloc(isl_ctx *ctx, isl_int v);
  51 void isl_int_obj_free(__isl_take isl_int_obj *i);
  52 __isl_give isl_int_obj *isl_int_obj_add(__isl_take isl_int_obj *i1,
  53         __isl_take isl_int_obj *i2);
  54 __isl_give isl_int_obj *isl_int_obj_sub(__isl_take isl_int_obj *i1,
  55         __isl_take isl_int_obj *i2);
  56 __isl_give isl_int_obj *isl_int_obj_mul(__isl_take isl_int_obj *i1,
  57         __isl_take isl_int_obj *i2);
  58 void isl_int_obj_get_int(__isl_keep isl_int_obj *i, isl_int *v);
  59
  60 #if defined(__cplusplus)
  61 }
  62 #endif
  63
  64 #endif