blob: dcf15de2d9e84c2976a36941d0120be958b4d952 [file] [log] [blame]
#ifndef ISL_SCHEDLUE_PRIVATE_H
#define ISL_SCHEDLUE_PRIVATE_H
#include <isl/aff.h>
#include <isl/schedule.h>
#include <isl_schedule_tree.h>
/* A complete schedule tree.
*
* "root" is the root of the schedule tree.
*
* "leaf" may be used to represent a leaf of the schedule.
* It should not appear as a child to any other isl_schedule_tree objects,
* but an isl_schedule_node may have "leaf" as its tree if it refers to
* a leaf of this schedule tree.
*/
struct isl_schedule {
int ref;
isl_schedule_tree *root;
struct isl_schedule_tree *leaf;
};
__isl_give isl_schedule *isl_schedule_from_schedule_tree(isl_ctx *ctx,
__isl_take isl_schedule_tree *tree);
__isl_give isl_schedule *isl_schedule_set_root(
__isl_take isl_schedule *schedule, __isl_take isl_schedule_tree *tree);
__isl_give isl_space *isl_schedule_get_space(
__isl_keep isl_schedule *schedule);
__isl_give isl_union_set *isl_schedule_get_domain(
__isl_keep isl_schedule *schedule);
__isl_keep isl_schedule_tree *isl_schedule_peek_leaf(
__isl_keep isl_schedule *schedule);
#endif