isl_schedule_private.h

Go to the documentation of this file.

#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