add some memory management annotations
[isl.git] / include / isl_set_polylib.h
blob1408df1f9962adb7434eed449c8aa496836eabfc
1 #ifndef ISL_SET_POLYLIB_H
2 #define ISL_SET_POLYLIB_H
4 #include <isl_set.h>
5 #include <isl_polylib.h>
7 #if defined(__cplusplus)
8 extern "C" {
9 #endif
11 __isl_give isl_basic_set *isl_basic_set_new_from_polylib(Polyhedron *P,
12 __isl_take isl_dim *dim);
13 Polyhedron *isl_basic_set_to_polylib(__isl_keep isl_basic_set *bset);
15 __isl_give isl_set *isl_set_new_from_polylib(Polyhedron *D,
16 __isl_take isl_dim *dim);
17 Polyhedron *isl_set_to_polylib(__isl_keep isl_set *set);
19 #if defined(__cplusplus)
21 #endif
23 #endif