summate.c: add_unbounded_guarded_qp: update to change in isl_pw_* space
[barvinok.git] / isl_obj_str.h
blobb7e8bffc752174a6b798684e5d8896c100069838
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_from_string(isl_ctx *ctx, __isl_take char *s);
14 __isl_give isl_str *isl_str_concat(__isl_take isl_str *str1,
15 __isl_take isl_str *str2);
16 void isl_str_free(__isl_take isl_str *str);
18 extern struct isl_obj_vtable isl_obj_str_vtable;
19 #define isl_obj_str (&isl_obj_str_vtable)