add isl_local_space_has_dim_name

[platform/upstream/isl.git] / include / isl / obj.h

diff --git a/include/isl/obj.h b/include/isl/obj.h
index 66ef37b..3f26c0a 100644 (file)
--- a/include/isl/obj.h
+++ b/include/isl/obj.h
@@ -1,11 +1,11 @@
 #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)
@@ -21,6 +21,8 @@ struct isl_obj_vtable {
 typedef struct isl_obj_vtable *isl_obj_type;
 extern struct isl_obj_vtable isl_obj_none_vtable;
 #define isl_obj_none           (&isl_obj_none_vtable)
+extern struct isl_obj_vtable isl_obj_int_vtable;
+#define isl_obj_int            (&isl_obj_int_vtable)
 extern struct isl_obj_vtable isl_obj_set_vtable;
 #define isl_obj_set            (&isl_obj_set_vtable)
 extern struct isl_obj_vtable isl_obj_union_set_vtable;
@@ -42,6 +44,19 @@ struct isl_obj {
        void            *v;
 };
 
+struct isl_int_obj;
+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,
+       __isl_take isl_int_obj *i2);
+__isl_give isl_int_obj *isl_int_obj_mul(__isl_take isl_int_obj *i1,
+       __isl_take isl_int_obj *i2);
+void isl_int_obj_get_int(__isl_keep isl_int_obj *i, isl_int *v);
+
 #if defined(__cplusplus)
 }
 #endif