isl_pw_qpolynomial_sum: handle existentials in wrapped domains
[barvinok.git] / isl_obj_str.h
blob34d5a21b6a13bdccddc37b29c93ec9a60713c5c7
1 #include <isl_obj.h>
3 struct isl_str {
4 int ref;
6 struct isl_ctx *ctx;
8 char *s;
9 };
10 typedef struct isl_str isl_str;
12 __isl_give isl_str *isl_str_alloc(struct isl_ctx *ctx);
13 __isl_give isl_str *isl_str_concat(__isl_take isl_str *str1,
14 __isl_take isl_str *str2);
16 extern struct isl_obj_vtable isl_obj_str_vtable;
17 #define isl_obj_str (&isl_obj_str_vtable)