#ifndef ISL_OBJ_H
#define ISL_OBJ_H
-#include <isl/set.h>
-#include <isl/map.h>
-#include <isl/union_set.h>
-#include <isl/union_map.h>
-#include <isl/polynomial.h>
+#include <isl/set_type.h>
+#include <isl/map_type.h>
+#include <isl/union_set_type.h>
+#include <isl/union_map_type.h>
+#include <isl/polynomial_type.h>
#include <isl/printer.h>
#if defined(__cplusplus)
typedef struct isl_int_obj isl_int_obj;
__isl_give isl_int_obj *isl_int_obj_alloc(isl_ctx *ctx, isl_int v);
+void isl_int_obj_free(__isl_take isl_int_obj *i);
__isl_give isl_int_obj *isl_int_obj_add(__isl_take isl_int_obj *i1,
__isl_take isl_int_obj *i2);
__isl_give isl_int_obj *isl_int_obj_sub(__isl_take isl_int_obj *i1,