6 #include <isl/schedule.h>
7 #include <isl/schedule_node.h>
9 #include "ppcg_options.h"
11 __isl_give isl_set
*parametrization(__isl_take isl_space
*space
,
12 int len
, int first
, __isl_keep isl_id_list
*names
);
14 __isl_give isl_schedule
*ppcg_get_schedule(isl_ctx
*ctx
,
15 struct ppcg_options
*options
,
16 __isl_give isl_schedule
*(*compute
)(void *user
), void *user
);
18 __isl_give isl_schedule_node
*ppcg_set_schedule_node_type(
19 __isl_take isl_schedule_node
*node
, enum isl_ast_loop_type type
);