4 #include <isl/union_set.h>
5 #include <isl/union_map.h>
8 #if defined(__cplusplus)
13 typedef struct isl_schedule isl_schedule
;
15 int isl_options_set_schedule_maximize_band_depth(isl_ctx
*ctx
, int val
);
16 int isl_options_get_schedule_maximize_band_depth(isl_ctx
*ctx
);
18 int isl_options_set_schedule_outer_zero_distance(isl_ctx
*ctx
, int val
);
19 int isl_options_get_schedule_outer_zero_distance(isl_ctx
*ctx
);
21 int isl_options_set_schedule_split_parallel(isl_ctx
*ctx
, int val
);
22 int isl_options_get_schedule_split_parallel(isl_ctx
*ctx
);
24 __isl_give isl_schedule
*isl_union_set_compute_schedule(
25 __isl_take isl_union_set
*domain
,
26 __isl_take isl_union_map
*validity
,
27 __isl_take isl_union_map
*proximity
);
28 void *isl_schedule_free(__isl_take isl_schedule
*sched
);
29 __isl_give isl_union_map
*isl_schedule_get_map(__isl_keep isl_schedule
*sched
);
31 isl_ctx
*isl_schedule_get_ctx(__isl_keep isl_schedule
*sched
);
33 __isl_give isl_band_list
*isl_schedule_get_band_forest(
34 __isl_keep isl_schedule
*schedule
);
36 __isl_give isl_printer
*isl_printer_print_schedule(__isl_take isl_printer
*p
,
37 __isl_keep isl_schedule
*schedule
);
38 void isl_schedule_dump(__isl_keep isl_schedule
*schedule
);
40 #if defined(__cplusplus)