#line 13
#include <isl/local_space.h>
#include <isl/space_type.h>
#include <isl/aff_type.h>
#include <isl/set_type.h>
#include <isl/list.h>
#include <isl/val_type.h>
#include <isl/printer.h>





struct isl_constraint;
typedef struct isl_constraint isl_constraint;

struct isl_constraint;							struct isl_constraint_list;						typedef struct isl_constraint_list isl_constraint_list;						isl_ctx *isl_constraint_list_get_ctx(__isl_keep isl_constraint_list *list);								__isl_give isl_constraint_list *isl_constraint_list_from_constraint(				__isl_take isl_constraint *el);								__isl_give isl_constraint_list *isl_constraint_list_alloc(isl_ctx *ctx, int n);	__isl_give isl_constraint_list *isl_constraint_list_copy(				__isl_keep isl_constraint_list *list);				__isl_null isl_constraint_list *isl_constraint_list_free(				__isl_take isl_constraint_list *list);									__isl_give isl_constraint_list *isl_constraint_list_add(				__isl_take isl_constraint_list *list,					__isl_take isl_constraint *el);					__isl_give isl_constraint_list *isl_constraint_list_insert(				__isl_take isl_constraint_list *list, unsigned pos,				__isl_take struct isl_constraint *el);				__isl_give isl_constraint_list *isl_constraint_list_drop(				__isl_take isl_constraint_list *list, unsigned first, unsigned n);									__isl_give isl_constraint_list *isl_constraint_list_clear(				__isl_take isl_constraint_list *list);				__isl_give isl_constraint_list *isl_constraint_list_swap(				__isl_take isl_constraint_list *list, unsigned pos1,			unsigned pos2);							__isl_give isl_constraint_list *isl_constraint_list_reverse(				__isl_take isl_constraint_list *list);									__isl_give isl_constraint_list *isl_constraint_list_concat(				__isl_take isl_constraint_list *list1,					__isl_take isl_constraint_list *list2);									isl_size isl_constraint_list_size(__isl_keep isl_constraint_list *list);	isl_size isl_constraint_list_n_constraint(__isl_keep isl_constraint_list *list);									__isl_give isl_constraint *isl_constraint_list_get_at(					__isl_keep isl_constraint_list *list, int index);			__isl_give struct isl_constraint *isl_constraint_list_get_constraint(				__isl_keep isl_constraint_list *list, int index);			__isl_give struct isl_constraint_list *isl_constraint_list_set_constraint(			__isl_take struct isl_constraint_list *list, int index,			__isl_take struct isl_constraint *el);									isl_stat isl_constraint_list_foreach(__isl_keep isl_constraint_list *list,		isl_stat (*fn)(__isl_take isl_constraint *el, void *user),			void *user);							__isl_give isl_constraint_list *isl_constraint_list_map(				__isl_take isl_constraint_list *list,					__isl_give isl_constraint * (*fn)(__isl_take isl_constraint *el,				void *user),							void *user);							__isl_give isl_constraint_list *isl_constraint_list_sort(				__isl_take isl_constraint_list *list,					int (*cmp)(__isl_keep struct isl_constraint *a,					__isl_keep struct isl_constraint *b,						void *user), void *user);				isl_stat isl_constraint_list_foreach_scc(__isl_keep isl_constraint_list *list,		isl_bool (*follows)(__isl_keep struct isl_constraint *a,					__isl_keep struct isl_constraint *b, void *user),		void *follows_user,							isl_stat (*fn)(__isl_take isl_constraint_list *scc, void *user),		void *fn_user);							__isl_give char *isl_constraint_list_to_str(					__isl_keep isl_constraint_list *list);				__isl_give isl_printer *isl_printer_print_constraint_list(				__isl_take isl_printer *p, __isl_keep isl_constraint_list *list);	void isl_constraint_list_dump(__isl_keep isl_constraint_list *list);

isl_ctx *isl_constraint_get_ctx(__isl_keep isl_constraint *c);

__isl_give isl_constraint *isl_constraint_alloc_equality(
	__isl_take isl_local_space *ls);
__isl_give isl_constraint *isl_constraint_alloc_inequality(
	__isl_take isl_local_space *ls);
__isl_give isl_constraint *isl_equality_alloc(__isl_take isl_local_space *ls);
__isl_give isl_constraint *isl_inequality_alloc(__isl_take isl_local_space *ls);

struct isl_constraint *isl_constraint_copy(struct isl_constraint *c);
__isl_null isl_constraint *isl_constraint_free(__isl_take isl_constraint *c);

isl_size isl_basic_map_n_constraint(__isl_keep isl_basic_map *bmap);
isl_size isl_basic_set_n_constraint(__isl_keep isl_basic_set *bset);
isl_stat isl_basic_map_foreach_constraint(__isl_keep isl_basic_map *bmap,
	isl_stat (*fn)(__isl_take isl_constraint *c, void *user), void *user);
isl_stat isl_basic_set_foreach_constraint(__isl_keep isl_basic_set *bset,
	isl_stat (*fn)(__isl_take isl_constraint *c, void *user), void *user);
__isl_give isl_constraint_list *isl_basic_map_get_constraint_list(
	__isl_keep isl_basic_map *bmap);
__isl_give isl_constraint_list *isl_basic_set_get_constraint_list(
	__isl_keep isl_basic_set *bset);
int isl_constraint_is_equal(struct isl_constraint *constraint1,
			    struct isl_constraint *constraint2);

isl_stat isl_basic_set_foreach_bound_pair(__isl_keep isl_basic_set *bset,
	enum isl_dim_type type, unsigned pos,
	isl_stat (*fn)(__isl_take isl_constraint *lower,
		  __isl_take isl_constraint *upper,
		  __isl_take isl_basic_set *bset, void *user), void *user);

__isl_give isl_basic_map *isl_basic_map_add_constraint(
	__isl_take isl_basic_map *bmap, __isl_take isl_constraint *constraint);
__isl_give isl_basic_set *isl_basic_set_add_constraint(
	__isl_take isl_basic_set *bset, __isl_take isl_constraint *constraint);
__isl_give isl_map *isl_map_add_constraint(__isl_take isl_map *map,
	__isl_take isl_constraint *constraint);
__isl_give isl_set *isl_set_add_constraint(__isl_take isl_set *set,
	__isl_take isl_constraint *constraint);

isl_bool isl_basic_map_has_defining_equality(
	__isl_keep isl_basic_map *bmap, enum isl_dim_type type, int pos,
	__isl_give isl_constraint **c);
isl_bool isl_basic_set_has_defining_equality(
	struct isl_basic_set *bset, enum isl_dim_type type, int pos,
	struct isl_constraint **constraint);
isl_bool isl_basic_set_has_defining_inequalities(
	struct isl_basic_set *bset, enum isl_dim_type type, int pos,
	struct isl_constraint **lower,
	struct isl_constraint **upper);

__isl_give isl_space *isl_constraint_get_space(
	__isl_keep isl_constraint *constraint);
__isl_give isl_local_space *isl_constraint_get_local_space(
	__isl_keep isl_constraint *constraint);
isl_size isl_constraint_dim(__isl_keep isl_constraint *constraint,
	enum isl_dim_type type);

isl_bool isl_constraint_involves_dims(__isl_keep isl_constraint *constraint,
	enum isl_dim_type type, unsigned first, unsigned n);

const char *isl_constraint_get_dim_name(__isl_keep isl_constraint *constraint,
	enum isl_dim_type type, unsigned pos);
__isl_give isl_val *isl_constraint_get_constant_val(
	__isl_keep isl_constraint *constraint);
__isl_give isl_val *isl_constraint_get_coefficient_val(
	__isl_keep isl_constraint *constraint, enum isl_dim_type type, int pos);
__isl_give isl_constraint *isl_constraint_set_constant_si(
	__isl_take isl_constraint *constraint, int v);
__isl_give isl_constraint *isl_constraint_set_constant_val(
	__isl_take isl_constraint *constraint, __isl_take isl_val *v);
__isl_give isl_constraint *isl_constraint_set_coefficient_si(
	__isl_take isl_constraint *constraint,
	enum isl_dim_type type, int pos, int v);
__isl_give isl_constraint *isl_constraint_set_coefficient_val(
	__isl_take isl_constraint *constraint,
	enum isl_dim_type type, int pos, __isl_take isl_val *v);

__isl_give isl_aff *isl_constraint_get_div(__isl_keep isl_constraint *constraint,
	int pos);

struct isl_constraint *isl_constraint_negate(struct isl_constraint *constraint);

isl_bool isl_constraint_is_equality(__isl_keep isl_constraint *constraint);
isl_bool isl_constraint_is_div_constraint(
	__isl_keep isl_constraint *constraint);

isl_bool isl_constraint_is_lower_bound(__isl_keep isl_constraint *constraint,
	enum isl_dim_type type, unsigned pos);
isl_bool isl_constraint_is_upper_bound(__isl_keep isl_constraint *constraint,
	enum isl_dim_type type, unsigned pos);

__isl_give isl_basic_map *isl_basic_map_from_constraint(
	__isl_take isl_constraint *constraint);
__isl_give isl_basic_set *isl_basic_set_from_constraint(
	__isl_take isl_constraint *constraint);

__isl_give isl_aff *isl_constraint_get_bound(
	__isl_keep isl_constraint *constraint, enum isl_dim_type type, int pos);
__isl_give isl_aff *isl_constraint_get_aff(
	__isl_keep isl_constraint *constraint);
__isl_give isl_constraint *isl_equality_from_aff(__isl_take isl_aff *aff);
__isl_give isl_constraint *isl_inequality_from_aff(__isl_take isl_aff *aff);

int isl_constraint_plain_cmp(__isl_keep isl_constraint *c1,
	__isl_keep isl_constraint *c2);
int isl_constraint_cmp_last_non_zero(__isl_keep isl_constraint *c1,
	__isl_keep isl_constraint *c2);

__isl_give isl_printer *isl_printer_print_constraint(__isl_take isl_printer *p,
	__isl_keep isl_constraint *c);
void isl_constraint_dump(__isl_keep isl_constraint *c);
