#ifndef ISL_BAND_PRIVATE_H

#define ISL_BAND_PRIVATE_H

#include <isl/aff.h>

#include <isl/band.h>

#include <isl/list.h>

#include <isl/schedule.h>

/* Information about a band within a schedule.

 *

 * n is the number of scheduling dimensions within the band.

 * coincident is an array of length n, indicating whether a scheduling dimension

 *	satisfies the coincidence constraints in the sense that

 *	the corresponding dependence distances are zero.

 * pma is the partial schedule corresponding to this band.

 * schedule is the schedule that contains this band.

 * parent is the parent of this band (or NULL if the band is a root).

 * children are the children of this band (or NULL if the band is a leaf).

 *

 * To avoid circular dependences in the reference counting,

 * the schedule and parent pointers are not reference counted.

 * isl_band_copy increments the reference count of schedule to ensure

 * that outside references to the band keep the schedule alive.

 */

struct isl_band {

	int ref;

	int n;

	int *coincident;

	isl_union_pw_multi_aff *pma;

	isl_schedule *schedule;

	isl_band *parent;

	isl_band_list *children;

};

#undef EL

#define EL isl_band

#include <isl_list_templ.h>

__isl_give isl_band *isl_band_alloc(isl_ctx *ctx);

__isl_give isl_union_map *isl_band_list_get_suffix_schedule(

	__isl_keep isl_band_list *list);

#endif