Details | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 14 | pmbaty | 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 |