- #ifndef ISL_FLOW_H 
- #define ISL_FLOW_H 
-   
- #include <stdio.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/schedule.h> 
- #include <isl/printer.h> 
-   
- #if defined(__cplusplus) 
- extern "C" { 
- #endif 
-   
- /* Let n (>= 0) be the number of iterators shared by first and second. 
-  * If first precedes second textually return 2 * n + 1, 
-  * otherwise return 2 * n. 
-  */ 
- typedef int (*isl_access_level_before)(void *first, void *second); 
-   
- struct isl_restriction; 
- typedef struct isl_restriction isl_restriction; 
-   
- __isl_null isl_restriction *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; 
- struct isl_flow; 
- typedef struct isl_flow isl_flow; 
-   
- __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( 
-         __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); 
- __isl_null isl_access_info *isl_access_info_free( 
-         __isl_take isl_access_info *acc); 
-   
- isl_ctx *isl_access_info_get_ctx(__isl_keep isl_access_info *acc); 
-   
- __isl_give isl_flow *isl_access_info_compute_flow(__isl_take isl_access_info *acc); 
- isl_stat isl_flow_foreach(__isl_keep isl_flow *deps, 
-         isl_stat (*fn)(__isl_take isl_map *dep, int must, void *dep_user, 
-                 void *user), 
-         void *user); 
- __isl_give isl_map *isl_flow_get_no_source(__isl_keep isl_flow *deps, int must); 
- __isl_null isl_flow *isl_flow_free(__isl_take isl_flow *deps); 
-   
- isl_ctx *isl_flow_get_ctx(__isl_keep isl_flow *deps); 
-   
- struct __isl_export isl_union_access_info; 
- typedef struct isl_union_access_info isl_union_access_info; 
- struct __isl_export isl_union_flow; 
- typedef struct isl_union_flow isl_union_flow; 
-   
- __isl_constructor 
- __isl_give isl_union_access_info *isl_union_access_info_from_sink( 
-         __isl_take isl_union_map *sink); 
- __isl_export 
- __isl_give isl_union_access_info *isl_union_access_info_set_must_source( 
-         __isl_take isl_union_access_info *access, 
-         __isl_take isl_union_map *must_source); 
- __isl_export 
- __isl_give isl_union_access_info *isl_union_access_info_set_may_source( 
-         __isl_take isl_union_access_info *access, 
-         __isl_take isl_union_map *may_source); 
- __isl_export 
- __isl_give isl_union_access_info *isl_union_access_info_set_kill( 
-         __isl_take isl_union_access_info *access, 
-         __isl_take isl_union_map *kill); 
- __isl_export 
- __isl_give isl_union_access_info *isl_union_access_info_set_schedule( 
-         __isl_take isl_union_access_info *access, 
-         __isl_take isl_schedule *schedule); 
- __isl_export 
- __isl_give isl_union_access_info *isl_union_access_info_set_schedule_map( 
-         __isl_take isl_union_access_info *access, 
-         __isl_take isl_union_map *schedule_map); 
- __isl_give isl_union_access_info *isl_union_access_info_copy( 
-         __isl_keep isl_union_access_info *access); 
- __isl_null isl_union_access_info *isl_union_access_info_free( 
-         __isl_take isl_union_access_info *access); 
-   
- isl_ctx *isl_union_access_info_get_ctx( 
-         __isl_keep isl_union_access_info *access); 
-   
- __isl_give isl_union_access_info *isl_union_access_info_read_from_file( 
-         isl_ctx *ctx, FILE *input); 
- __isl_give isl_printer *isl_printer_print_union_access_info( 
-         __isl_take isl_printer *p, __isl_keep isl_union_access_info *access); 
- __isl_give char *isl_union_access_info_to_str( 
-         __isl_keep isl_union_access_info *access); 
-   
- __isl_export 
- __isl_give isl_union_flow *isl_union_access_info_compute_flow( 
-         __isl_take isl_union_access_info *access); 
-   
- isl_ctx *isl_union_flow_get_ctx(__isl_keep isl_union_flow *flow); 
- __isl_give isl_union_flow *isl_union_flow_copy( 
-         __isl_keep isl_union_flow *flow); 
- __isl_export 
- __isl_give isl_union_map *isl_union_flow_get_must_dependence( 
-         __isl_keep isl_union_flow *flow); 
- __isl_export 
- __isl_give isl_union_map *isl_union_flow_get_may_dependence( 
-         __isl_keep isl_union_flow *flow); 
- __isl_export 
- __isl_give isl_union_map *isl_union_flow_get_full_must_dependence( 
-         __isl_keep isl_union_flow *flow); 
- __isl_export 
- __isl_give isl_union_map *isl_union_flow_get_full_may_dependence( 
-         __isl_keep isl_union_flow *flow); 
- __isl_export 
- __isl_give isl_union_map *isl_union_flow_get_must_no_source( 
-         __isl_keep isl_union_flow *flow); 
- __isl_export 
- __isl_give isl_union_map *isl_union_flow_get_may_no_source( 
-         __isl_keep isl_union_flow *flow); 
- __isl_null isl_union_flow *isl_union_flow_free(__isl_take isl_union_flow *flow); 
-   
- __isl_give isl_printer *isl_printer_print_union_flow( 
-         __isl_take isl_printer *p, __isl_keep isl_union_flow *flow); 
- __isl_give char *isl_union_flow_to_str(__isl_keep isl_union_flow *flow); 
-   
- int isl_union_map_compute_flow(__isl_take isl_union_map *sink, 
-         __isl_take isl_union_map *must_source, 
-         __isl_take isl_union_map *may_source, 
-         __isl_take isl_union_map *schedule, 
-         __isl_give isl_union_map **must_dep, __isl_give isl_union_map **may_dep, 
-         __isl_give isl_union_map **must_no_source, 
-         __isl_give isl_union_map **may_no_source); 
-   
- #if defined(__cplusplus) 
- } 
- #endif 
-   
- #endif 
-