| 1 |
/* |
| 2 |
* Copyright 2008-2009 Katholieke Universiteit Leuven |
| 3 |
* |
| 4 |
* Use of this software is governed by the MIT license |
| 5 |
* |
| 6 |
* Written by Sven Verdoolaege, K.U.Leuven, Departement |
| 7 |
* Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium |
| 8 |
*/ |
| 9 |
|
| 10 |
#ifndef ISL_CONSTRAINT_H |
| 11 |
#define ISL_CONSTRAINT_H |
| 12 |
|
| 13 |
#include <isl/local_space.h> |
| 14 |
#include <isl/space_type.h> |
| 15 |
#include <isl/aff_type.h> |
| 16 |
#include <isl/set_type.h> |
| 17 |
#include <isl/list.h> |
| 18 |
#include <isl/val_type.h> |
| 19 |
#include <isl/printer.h> |
| 20 |
|
| 21 |
#if defined(__cplusplus) |
| 22 |
extern "C" { |
| 23 |
#endif |
| 24 |
|
| 25 |
struct isl_constraint; |
| 26 |
typedef struct isl_constraint isl_constraint; |
| 27 |
|
| 28 |
ISL_DECLARE_LIST(constraint) |
| 29 |
|
| 30 |
isl_ctx *isl_constraint_get_ctx(__isl_keep isl_constraint *c); |
| 31 |
|
| 32 |
__isl_give isl_constraint *isl_constraint_alloc_equality( |
| 33 |
__isl_take isl_local_space *ls); |
| 34 |
__isl_give isl_constraint *isl_constraint_alloc_inequality( |
| 35 |
__isl_take isl_local_space *ls); |
| 36 |
__isl_give isl_constraint *isl_equality_alloc(__isl_take isl_local_space *ls); |
| 37 |
__isl_give isl_constraint *isl_inequality_alloc(__isl_take isl_local_space *ls); |
| 38 |
|
| 39 |
__isl_give isl_constraint *isl_constraint_copy(__isl_keep isl_constraint *c); |
| 40 |
__isl_null isl_constraint *isl_constraint_free(__isl_take isl_constraint *c); |
| 41 |
|
| 42 |
isl_size isl_basic_map_n_constraint(__isl_keep isl_basic_map *bmap); |
| 43 |
isl_size isl_basic_set_n_constraint(__isl_keep isl_basic_set *bset); |
| 44 |
isl_stat isl_basic_map_foreach_constraint(__isl_keep isl_basic_map *bmap, |
| 45 |
isl_stat (*fn)(__isl_take isl_constraint *c, void *user), void *user); |
| 46 |
isl_stat isl_basic_set_foreach_constraint(__isl_keep isl_basic_set *bset, |
| 47 |
isl_stat (*fn)(__isl_take isl_constraint *c, void *user), void *user); |
| 48 |
__isl_give isl_constraint_list *isl_basic_map_get_constraint_list( |
| 49 |
__isl_keep isl_basic_map *bmap); |
| 50 |
__isl_give isl_constraint_list *isl_basic_set_get_constraint_list( |
| 51 |
__isl_keep isl_basic_set *bset); |
| 52 |
int isl_constraint_is_equal(__isl_keep isl_constraint *constraint1, |
| 53 |
__isl_keep isl_constraint *constraint2); |
| 54 |
|
| 55 |
isl_stat isl_basic_set_foreach_bound_pair(__isl_keep isl_basic_set *bset, |
| 56 |
enum isl_dim_type type, unsigned pos, |
| 57 |
isl_stat (*fn)(__isl_take isl_constraint *lower, |
| 58 |
__isl_take isl_constraint *upper, |
| 59 |
__isl_take isl_basic_set *bset, void *user), void *user); |
| 60 |
|
| 61 |
__isl_give isl_basic_map *isl_basic_map_add_constraint( |
| 62 |
__isl_take isl_basic_map *bmap, __isl_take isl_constraint *constraint); |
| 63 |
__isl_give isl_basic_set *isl_basic_set_add_constraint( |
| 64 |
__isl_take isl_basic_set *bset, __isl_take isl_constraint *constraint); |
| 65 |
__isl_give isl_map *isl_map_add_constraint(__isl_take isl_map *map, |
| 66 |
__isl_take isl_constraint *constraint); |
| 67 |
__isl_give isl_set *isl_set_add_constraint(__isl_take isl_set *set, |
| 68 |
__isl_take isl_constraint *constraint); |
| 69 |
|
| 70 |
isl_bool isl_basic_map_has_defining_equality( |
| 71 |
__isl_keep isl_basic_map *bmap, enum isl_dim_type type, int pos, |
| 72 |
__isl_give isl_constraint **c); |
| 73 |
isl_bool isl_basic_set_has_defining_equality( |
| 74 |
struct isl_basic_set *bset, enum isl_dim_type type, int pos, |
| 75 |
struct isl_constraint **constraint); |
| 76 |
isl_bool isl_basic_set_has_defining_inequalities( |
| 77 |
struct isl_basic_set *bset, enum isl_dim_type type, int pos, |
| 78 |
struct isl_constraint **lower, |
| 79 |
struct isl_constraint **upper); |
| 80 |
|
| 81 |
__isl_give isl_space *isl_constraint_get_space( |
| 82 |
__isl_keep isl_constraint *constraint); |
| 83 |
__isl_give isl_local_space *isl_constraint_get_local_space( |
| 84 |
__isl_keep isl_constraint *constraint); |
| 85 |
isl_size isl_constraint_dim(__isl_keep isl_constraint *constraint, |
| 86 |
enum isl_dim_type type); |
| 87 |
|
| 88 |
isl_bool isl_constraint_involves_dims(__isl_keep isl_constraint *constraint, |
| 89 |
enum isl_dim_type type, unsigned first, unsigned n); |
| 90 |
|
| 91 |
const char *isl_constraint_get_dim_name(__isl_keep isl_constraint *constraint, |
| 92 |
enum isl_dim_type type, unsigned pos); |
| 93 |
__isl_give isl_val *isl_constraint_get_constant_val( |
| 94 |
__isl_keep isl_constraint *constraint); |
| 95 |
__isl_give isl_val *isl_constraint_get_coefficient_val( |
| 96 |
__isl_keep isl_constraint *constraint, enum isl_dim_type type, int pos); |
| 97 |
__isl_give isl_constraint *isl_constraint_set_constant_si( |
| 98 |
__isl_take isl_constraint *constraint, int v); |
| 99 |
__isl_give isl_constraint *isl_constraint_set_constant_val( |
| 100 |
__isl_take isl_constraint *constraint, __isl_take isl_val *v); |
| 101 |
__isl_give isl_constraint *isl_constraint_set_coefficient_si( |
| 102 |
__isl_take isl_constraint *constraint, |
| 103 |
enum isl_dim_type type, int pos, int v); |
| 104 |
__isl_give isl_constraint *isl_constraint_set_coefficient_val( |
| 105 |
__isl_take isl_constraint *constraint, |
| 106 |
enum isl_dim_type type, int pos, __isl_take isl_val *v); |
| 107 |
|
| 108 |
__isl_give isl_aff *isl_constraint_get_div(__isl_keep isl_constraint *constraint, |
| 109 |
int pos); |
| 110 |
|
| 111 |
__isl_give isl_constraint *isl_constraint_negate( |
| 112 |
__isl_take isl_constraint *constraint); |
| 113 |
|
| 114 |
isl_bool isl_constraint_is_equality(__isl_keep isl_constraint *constraint); |
| 115 |
isl_bool isl_constraint_is_div_constraint( |
| 116 |
__isl_keep isl_constraint *constraint); |
| 117 |
|
| 118 |
isl_bool isl_constraint_is_lower_bound(__isl_keep isl_constraint *constraint, |
| 119 |
enum isl_dim_type type, unsigned pos); |
| 120 |
isl_bool isl_constraint_is_upper_bound(__isl_keep isl_constraint *constraint, |
| 121 |
enum isl_dim_type type, unsigned pos); |
| 122 |
|
| 123 |
__isl_give isl_basic_map *isl_basic_map_from_constraint( |
| 124 |
__isl_take isl_constraint *constraint); |
| 125 |
__isl_give isl_basic_set *isl_basic_set_from_constraint( |
| 126 |
__isl_take isl_constraint *constraint); |
| 127 |
|
| 128 |
__isl_give isl_aff *isl_constraint_get_bound( |
| 129 |
__isl_keep isl_constraint *constraint, enum isl_dim_type type, int pos); |
| 130 |
__isl_give isl_aff *isl_constraint_get_aff( |
| 131 |
__isl_keep isl_constraint *constraint); |
| 132 |
__isl_give isl_constraint *isl_equality_from_aff(__isl_take isl_aff *aff); |
| 133 |
__isl_give isl_constraint *isl_inequality_from_aff(__isl_take isl_aff *aff); |
| 134 |
|
| 135 |
int isl_constraint_plain_cmp(__isl_keep isl_constraint *c1, |
| 136 |
__isl_keep isl_constraint *c2); |
| 137 |
int isl_constraint_cmp_last_non_zero(__isl_keep isl_constraint *c1, |
| 138 |
__isl_keep isl_constraint *c2); |
| 139 |
|
| 140 |
__isl_give isl_printer *isl_printer_print_constraint(__isl_take isl_printer *p, |
| 141 |
__isl_keep isl_constraint *c); |
| 142 |
void isl_constraint_dump(__isl_keep isl_constraint *c); |
| 143 |
|
| 144 |
#if defined(__cplusplus) |
| 145 |
} |
| 146 |
#endif |
| 147 |
|
| 148 |
#endif |
