|
Packit |
fb9d21 |
/*
|
|
Packit |
fb9d21 |
* Copyright 2008-2009 Katholieke Universiteit Leuven
|
|
Packit |
fb9d21 |
*
|
|
Packit |
fb9d21 |
* Use of this software is governed by the MIT license
|
|
Packit |
fb9d21 |
*
|
|
Packit |
fb9d21 |
* Written by Sven Verdoolaege, K.U.Leuven, Departement
|
|
Packit |
fb9d21 |
* Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
|
|
Packit |
fb9d21 |
*/
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
#ifndef ISL_CONSTRAINT_H
|
|
Packit |
fb9d21 |
#define ISL_CONSTRAINT_H
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
#include <isl/local_space.h>
|
|
Packit |
fb9d21 |
#include <isl/space.h>
|
|
Packit |
fb9d21 |
#include <isl/aff_type.h>
|
|
Packit |
fb9d21 |
#include <isl/set_type.h>
|
|
Packit |
fb9d21 |
#include <isl/list.h>
|
|
Packit |
fb9d21 |
#include <isl/val.h>
|
|
Packit |
fb9d21 |
#include <isl/printer.h>
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
#if defined(__cplusplus)
|
|
Packit |
fb9d21 |
extern "C" {
|
|
Packit |
fb9d21 |
#endif
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
struct isl_constraint;
|
|
Packit |
fb9d21 |
typedef struct isl_constraint isl_constraint;
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
ISL_DECLARE_LIST(constraint)
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
isl_ctx *isl_constraint_get_ctx(__isl_keep isl_constraint *c);
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
__isl_give isl_constraint *isl_constraint_alloc_equality(
|
|
Packit |
fb9d21 |
__isl_take isl_local_space *ls);
|
|
Packit |
fb9d21 |
__isl_give isl_constraint *isl_constraint_alloc_inequality(
|
|
Packit |
fb9d21 |
__isl_take isl_local_space *ls);
|
|
Packit |
fb9d21 |
__isl_give isl_constraint *isl_equality_alloc(__isl_take isl_local_space *ls);
|
|
Packit |
fb9d21 |
__isl_give isl_constraint *isl_inequality_alloc(__isl_take isl_local_space *ls);
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
struct isl_constraint *isl_constraint_cow(struct isl_constraint *c);
|
|
Packit |
fb9d21 |
struct isl_constraint *isl_constraint_copy(struct isl_constraint *c);
|
|
Packit |
fb9d21 |
__isl_null isl_constraint *isl_constraint_free(__isl_take isl_constraint *c);
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
int isl_basic_map_n_constraint(__isl_keep isl_basic_map *bmap);
|
|
Packit |
fb9d21 |
int isl_basic_set_n_constraint(__isl_keep isl_basic_set *bset);
|
|
Packit |
fb9d21 |
isl_stat isl_basic_map_foreach_constraint(__isl_keep isl_basic_map *bmap,
|
|
Packit |
fb9d21 |
isl_stat (*fn)(__isl_take isl_constraint *c, void *user), void *user);
|
|
Packit |
fb9d21 |
isl_stat isl_basic_set_foreach_constraint(__isl_keep isl_basic_set *bset,
|
|
Packit |
fb9d21 |
isl_stat (*fn)(__isl_take isl_constraint *c, void *user), void *user);
|
|
Packit |
fb9d21 |
__isl_give isl_constraint_list *isl_basic_map_get_constraint_list(
|
|
Packit |
fb9d21 |
__isl_keep isl_basic_map *bmap);
|
|
Packit |
fb9d21 |
__isl_give isl_constraint_list *isl_basic_set_get_constraint_list(
|
|
Packit |
fb9d21 |
__isl_keep isl_basic_set *bset);
|
|
Packit |
fb9d21 |
int isl_constraint_is_equal(struct isl_constraint *constraint1,
|
|
Packit |
fb9d21 |
struct isl_constraint *constraint2);
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
isl_stat isl_basic_set_foreach_bound_pair(__isl_keep isl_basic_set *bset,
|
|
Packit |
fb9d21 |
enum isl_dim_type type, unsigned pos,
|
|
Packit |
fb9d21 |
isl_stat (*fn)(__isl_take isl_constraint *lower,
|
|
Packit |
fb9d21 |
__isl_take isl_constraint *upper,
|
|
Packit |
fb9d21 |
__isl_take isl_basic_set *bset, void *user), void *user);
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
__isl_give isl_basic_map *isl_basic_map_add_constraint(
|
|
Packit |
fb9d21 |
__isl_take isl_basic_map *bmap, __isl_take isl_constraint *constraint);
|
|
Packit |
fb9d21 |
__isl_give isl_basic_set *isl_basic_set_add_constraint(
|
|
Packit |
fb9d21 |
__isl_take isl_basic_set *bset, __isl_take isl_constraint *constraint);
|
|
Packit |
fb9d21 |
__isl_give isl_map *isl_map_add_constraint(__isl_take isl_map *map,
|
|
Packit |
fb9d21 |
__isl_take isl_constraint *constraint);
|
|
Packit |
fb9d21 |
__isl_give isl_set *isl_set_add_constraint(__isl_take isl_set *set,
|
|
Packit |
fb9d21 |
__isl_take isl_constraint *constraint);
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
int isl_basic_map_has_defining_equality(
|
|
Packit |
fb9d21 |
__isl_keep isl_basic_map *bmap, enum isl_dim_type type, int pos,
|
|
Packit |
fb9d21 |
__isl_give isl_constraint **c);
|
|
Packit |
fb9d21 |
int isl_basic_set_has_defining_equality(
|
|
Packit |
fb9d21 |
struct isl_basic_set *bset, enum isl_dim_type type, int pos,
|
|
Packit |
fb9d21 |
struct isl_constraint **constraint);
|
|
Packit |
fb9d21 |
int isl_basic_set_has_defining_inequalities(
|
|
Packit |
fb9d21 |
struct isl_basic_set *bset, enum isl_dim_type type, int pos,
|
|
Packit |
fb9d21 |
struct isl_constraint **lower,
|
|
Packit |
fb9d21 |
struct isl_constraint **upper);
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
__isl_give isl_space *isl_constraint_get_space(
|
|
Packit |
fb9d21 |
__isl_keep isl_constraint *constraint);
|
|
Packit |
fb9d21 |
__isl_give isl_local_space *isl_constraint_get_local_space(
|
|
Packit |
fb9d21 |
__isl_keep isl_constraint *constraint);
|
|
Packit |
fb9d21 |
int isl_constraint_dim(struct isl_constraint *constraint,
|
|
Packit |
fb9d21 |
enum isl_dim_type type);
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
isl_bool isl_constraint_involves_dims(__isl_keep isl_constraint *constraint,
|
|
Packit |
fb9d21 |
enum isl_dim_type type, unsigned first, unsigned n);
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
const char *isl_constraint_get_dim_name(__isl_keep isl_constraint *constraint,
|
|
Packit |
fb9d21 |
enum isl_dim_type type, unsigned pos);
|
|
Packit |
fb9d21 |
__isl_give isl_val *isl_constraint_get_constant_val(
|
|
Packit |
fb9d21 |
__isl_keep isl_constraint *constraint);
|
|
Packit |
fb9d21 |
__isl_give isl_val *isl_constraint_get_coefficient_val(
|
|
Packit |
fb9d21 |
__isl_keep isl_constraint *constraint, enum isl_dim_type type, int pos);
|
|
Packit |
fb9d21 |
__isl_give isl_constraint *isl_constraint_set_constant_si(
|
|
Packit |
fb9d21 |
__isl_take isl_constraint *constraint, int v);
|
|
Packit |
fb9d21 |
__isl_give isl_constraint *isl_constraint_set_constant_val(
|
|
Packit |
fb9d21 |
__isl_take isl_constraint *constraint, __isl_take isl_val *v);
|
|
Packit |
fb9d21 |
__isl_give isl_constraint *isl_constraint_set_coefficient_si(
|
|
Packit |
fb9d21 |
__isl_take isl_constraint *constraint,
|
|
Packit |
fb9d21 |
enum isl_dim_type type, int pos, int v);
|
|
Packit |
fb9d21 |
__isl_give isl_constraint *isl_constraint_set_coefficient_val(
|
|
Packit |
fb9d21 |
__isl_take isl_constraint *constraint,
|
|
Packit |
fb9d21 |
enum isl_dim_type type, int pos, __isl_take isl_val *v);
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
__isl_give isl_aff *isl_constraint_get_div(__isl_keep isl_constraint *constraint,
|
|
Packit |
fb9d21 |
int pos);
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
struct isl_constraint *isl_constraint_negate(struct isl_constraint *constraint);
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
isl_bool isl_constraint_is_equality(__isl_keep isl_constraint *constraint);
|
|
Packit |
fb9d21 |
int isl_constraint_is_div_constraint(__isl_keep isl_constraint *constraint);
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
isl_bool isl_constraint_is_lower_bound(__isl_keep isl_constraint *constraint,
|
|
Packit |
fb9d21 |
enum isl_dim_type type, unsigned pos);
|
|
Packit |
fb9d21 |
isl_bool isl_constraint_is_upper_bound(__isl_keep isl_constraint *constraint,
|
|
Packit |
fb9d21 |
enum isl_dim_type type, unsigned pos);
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
__isl_give isl_basic_map *isl_basic_map_from_constraint(
|
|
Packit |
fb9d21 |
__isl_take isl_constraint *constraint);
|
|
Packit |
fb9d21 |
struct isl_basic_set *isl_basic_set_from_constraint(
|
|
Packit |
fb9d21 |
struct isl_constraint *constraint);
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
__isl_give isl_aff *isl_constraint_get_bound(
|
|
Packit |
fb9d21 |
__isl_keep isl_constraint *constraint, enum isl_dim_type type, int pos);
|
|
Packit |
fb9d21 |
__isl_give isl_aff *isl_constraint_get_aff(
|
|
Packit |
fb9d21 |
__isl_keep isl_constraint *constraint);
|
|
Packit |
fb9d21 |
__isl_give isl_constraint *isl_equality_from_aff(__isl_take isl_aff *aff);
|
|
Packit |
fb9d21 |
__isl_give isl_constraint *isl_inequality_from_aff(__isl_take isl_aff *aff);
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
__isl_give isl_basic_set *isl_basic_set_drop_constraint(
|
|
Packit |
fb9d21 |
__isl_take isl_basic_set *bset, __isl_take isl_constraint *constraint);
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
int isl_constraint_plain_cmp(__isl_keep isl_constraint *c1,
|
|
Packit |
fb9d21 |
__isl_keep isl_constraint *c2);
|
|
Packit |
fb9d21 |
int isl_constraint_cmp_last_non_zero(__isl_keep isl_constraint *c1,
|
|
Packit |
fb9d21 |
__isl_keep isl_constraint *c2);
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
__isl_give isl_printer *isl_printer_print_constraint(__isl_take isl_printer *p,
|
|
Packit |
fb9d21 |
__isl_keep isl_constraint *c);
|
|
Packit |
fb9d21 |
void isl_constraint_dump(__isl_keep isl_constraint *c);
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
#if defined(__cplusplus)
|
|
Packit |
fb9d21 |
}
|
|
Packit |
fb9d21 |
#endif
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
#endif
|