isl_map_coalesce: avoid ignoring constraints redundant wrt implicit equalities
[isl.git] / isl_schedule_private.h
blobdcf15de2d9e84c2976a36941d0120be958b4d952
1 #ifndef ISL_SCHEDLUE_PRIVATE_H
2 #define ISL_SCHEDLUE_PRIVATE_H
4 #include <isl/aff.h>
5 #include <isl/schedule.h>
6 #include <isl_schedule_tree.h>
8 /* A complete schedule tree.
10 * "root" is the root of the schedule tree.
12 * "leaf" may be used to represent a leaf of the schedule.
13 * It should not appear as a child to any other isl_schedule_tree objects,
14 * but an isl_schedule_node may have "leaf" as its tree if it refers to
15 * a leaf of this schedule tree.
17 struct isl_schedule {
18 int ref;
20 isl_schedule_tree *root;
22 struct isl_schedule_tree *leaf;
25 __isl_give isl_schedule *isl_schedule_from_schedule_tree(isl_ctx *ctx,
26 __isl_take isl_schedule_tree *tree);
27 __isl_give isl_schedule *isl_schedule_set_root(
28 __isl_take isl_schedule *schedule, __isl_take isl_schedule_tree *tree);
29 __isl_give isl_space *isl_schedule_get_space(
30 __isl_keep isl_schedule *schedule);
31 __isl_give isl_union_set *isl_schedule_get_domain(
32 __isl_keep isl_schedule *schedule);
33 __isl_keep isl_schedule_tree *isl_schedule_peek_leaf(
34 __isl_keep isl_schedule *schedule);
36 #endif