#ifndef ISL_SCHEDULE_BAND_H

#define ISL_SCHEDULE_BAND_H

#include <isl/aff.h>

#include <isl/ast_type.h>

#include <isl/union_map.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.

 * permutable is set if the band is permutable.

 * mupa is the partial schedule corresponding to this band.  The dimension

 *	of mupa is equal to n.

 * loop_type contains the loop AST generation types for the members

 * in the band.  It may be NULL, if all members are

 * of type isl_ast_loop_default.

 * isolate_loop_type contains the loop AST generation types for the members

 * in the band for the isolated part.  It may be NULL, if all members are

 * of type isl_ast_loop_default.

 * ast_build_options are the remaining AST build options associated

 * to the band.

 * anchored is set if the node depends on its position in the schedule tree.

 *	In particular, it is set if the AST build options include

 *	an isolate option.

 */

struct isl_schedule_band {

	int ref;

	int n;

	int *coincident;

	int permutable;

	isl_multi_union_pw_aff *mupa;

	int anchored;

	isl_union_set *ast_build_options;

	enum isl_ast_loop_type *loop_type;

	enum isl_ast_loop_type *isolate_loop_type;

};

typedef struct isl_schedule_band isl_schedule_band;

__isl_give isl_schedule_band *isl_schedule_band_from_multi_union_pw_aff(

	__isl_take isl_multi_union_pw_aff *mupa);

__isl_give isl_schedule_band *isl_schedule_band_copy(

	__isl_keep isl_schedule_band *band);

__isl_null isl_schedule_band *isl_schedule_band_free(

	__isl_take isl_schedule_band *band);

isl_ctx *isl_schedule_band_get_ctx(__isl_keep isl_schedule_band *band);

isl_bool isl_schedule_band_plain_is_equal(__isl_keep isl_schedule_band *band1,

	__isl_keep isl_schedule_band *band2);

int isl_schedule_band_is_anchored(__isl_keep isl_schedule_band *band);

__isl_give isl_space *isl_schedule_band_get_space(

	__isl_keep isl_schedule_band *band);

__isl_give isl_schedule_band *isl_schedule_band_intersect_domain(

	__isl_take isl_schedule_band *band, __isl_take isl_union_set *domain);

__isl_give isl_multi_union_pw_aff *isl_schedule_band_get_partial_schedule(

	__isl_keep isl_schedule_band *band);

__isl_give isl_schedule_band *isl_schedule_band_set_partial_schedule(

	__isl_take isl_schedule_band *band,

	__isl_take isl_multi_union_pw_aff *schedule);

enum isl_ast_loop_type isl_schedule_band_member_get_ast_loop_type(

	__isl_keep isl_schedule_band *band, int pos);

__isl_give isl_schedule_band *isl_schedule_band_member_set_ast_loop_type(

	__isl_take isl_schedule_band *band, int pos,

	enum isl_ast_loop_type type);

enum isl_ast_loop_type isl_schedule_band_member_get_isolate_ast_loop_type(

	__isl_keep isl_schedule_band *band, int pos);

__isl_give isl_schedule_band *

isl_schedule_band_member_set_isolate_ast_loop_type(

	__isl_take isl_schedule_band *band, int pos,

	enum isl_ast_loop_type type);

__isl_give isl_union_set *isl_schedule_band_get_ast_build_options(

	__isl_keep isl_schedule_band *band);

__isl_give isl_schedule_band *isl_schedule_band_set_ast_build_options(

	__isl_take isl_schedule_band *band, __isl_take isl_union_set *options);

int isl_schedule_band_n_member(__isl_keep isl_schedule_band *band);

isl_bool isl_schedule_band_member_get_coincident(

	__isl_keep isl_schedule_band *band, int pos);

__isl_give isl_schedule_band *isl_schedule_band_member_set_coincident(

	__isl_take isl_schedule_band *band, int pos, int coincident);

isl_bool isl_schedule_band_get_permutable(__isl_keep isl_schedule_band *band);

__isl_give isl_schedule_band *isl_schedule_band_set_permutable(

	__isl_take isl_schedule_band *band, int permutable);

__isl_give isl_schedule_band *isl_schedule_band_scale(

	__isl_take isl_schedule_band *band, __isl_take isl_multi_val *mv);

__isl_give isl_schedule_band *isl_schedule_band_scale_down(

	__isl_take isl_schedule_band *band, __isl_take isl_multi_val *mv);

__isl_give isl_schedule_band *isl_schedule_band_mod(

	__isl_take isl_schedule_band *band, __isl_take isl_multi_val *mv);

__isl_give isl_schedule_band *isl_schedule_band_tile(

	__isl_take isl_schedule_band *band, __isl_take isl_multi_val *sizes);

__isl_give isl_schedule_band *isl_schedule_band_point(

	__isl_take isl_schedule_band *band, __isl_keep isl_schedule_band *tile,

	__isl_take isl_multi_val *sizes);

__isl_give isl_schedule_band *isl_schedule_band_shift(

	__isl_take isl_schedule_band *band,

	__isl_take isl_multi_union_pw_aff *shift);

__isl_give isl_schedule_band *isl_schedule_band_drop(

	__isl_take isl_schedule_band *band, int pos, int n);

__isl_give isl_schedule_band *isl_schedule_band_gist(

	__isl_take isl_schedule_band *band, __isl_take isl_union_set *context);

__isl_give isl_schedule_band *isl_schedule_band_reset_user(

	__isl_take isl_schedule_band *band);

__isl_give isl_schedule_band *isl_schedule_band_align_params(

	__isl_take isl_schedule_band *band, __isl_take isl_space *space);

__isl_give isl_schedule_band *isl_schedule_band_pullback_union_pw_multi_aff(

	__isl_take isl_schedule_band *band,

	__isl_take isl_union_pw_multi_aff *upma);

#endif