#include <isl/set_type.h>
#include <isl/map_type.h>
-#include <isl/union_set.h>
-#include <isl/union_map.h>
+#include <isl/union_set_type.h>
+#include <isl/union_map_type.h>
#if defined(__cplusplus)
extern "C" {
*/
typedef int (*isl_access_level_before)(void *first, void *second);
-typedef __isl_give isl_set *(*isl_access_restrict_sources)(
- __isl_take isl_map *source_map, void *sink_user, void *source_user);
+struct isl_restriction;
+typedef struct isl_restriction isl_restriction;
+
+void *isl_restriction_free(__isl_take isl_restriction *restr);
+__isl_give isl_restriction *isl_restriction_empty(
+ __isl_take isl_map *source_map);
+__isl_give isl_restriction *isl_restriction_none(
+ __isl_take isl_map *source_map);
+__isl_give isl_restriction *isl_restriction_input(
+ __isl_take isl_set *source_restr, __isl_take isl_set *sink_restr);
+__isl_give isl_restriction *isl_restriction_output(
+ __isl_take isl_set *source_restr);
+
+isl_ctx *isl_restriction_get_ctx(__isl_keep isl_restriction *restr);
+
+typedef __isl_give isl_restriction *(*isl_access_restrict)(
+ __isl_keep isl_map *source_map, __isl_keep isl_set *sink,
+ void *source_user, void *user);
struct isl_access_info;
typedef struct isl_access_info isl_access_info;
__isl_give isl_access_info *isl_access_info_alloc(__isl_take isl_map *sink,
void *sink_user, isl_access_level_before fn, int max_source);
-__isl_give isl_access_info *isl_access_info_set_restrict_sources(
- __isl_take isl_access_info *acc, isl_access_restrict_sources fn);
+__isl_give isl_access_info *isl_access_info_set_restrict(
+ __isl_take isl_access_info *acc, isl_access_restrict fn, void *user);
__isl_give isl_access_info *isl_access_info_add_source(
__isl_take isl_access_info *acc, __isl_take isl_map *source,
int must, void *source_user);
-void isl_access_info_free(__isl_take isl_access_info *acc);
+void *isl_access_info_free(__isl_take isl_access_info *acc);
isl_ctx *isl_access_info_get_ctx(__isl_keep isl_access_info *acc);