4 #include <isl/union_set.h>
5 #include <isl/union_map.h>
8 typedef struct isl_schedule isl_schedule;
10 __isl_give isl_schedule *isl_union_set_compute_schedule(
11 __isl_take isl_union_set *domain,
12 __isl_take isl_union_map *validity,
13 __isl_take isl_union_map *proximity);
14 void *isl_schedule_free(__isl_take isl_schedule *sched);
15 __isl_give isl_union_map *isl_schedule_get_map(__isl_keep isl_schedule *sched);
17 int isl_schedule_n_band(__isl_keep isl_schedule *sched);
18 __isl_give isl_union_map *isl_schedule_get_band(__isl_keep isl_schedule *sched,