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.h> 15 #include <isl/aff_type.h> 16 #include <isl/set_type.h> 17 #include <isl/printer.h> 18 19 #if defined(__cplusplus) 20 extern "C" { 21 #endif 22 23 struct isl_constraint; 24 typedef struct isl_constraint isl_constraint; 25 26 isl_ctx *isl_constraint_get_ctx(__isl_keep isl_constraint *c); 27 28 __isl_give isl_constraint *isl_equality_alloc(__isl_take isl_local_space *ls); 29 __isl_give isl_constraint *isl_inequality_alloc(__isl_take isl_local_space *ls); 30 31 struct isl_constraint *isl_constraint_cow(struct isl_constraint *c); 32 struct isl_constraint *isl_constraint_copy(struct isl_constraint *c); 33 void *isl_constraint_free(__isl_take isl_constraint *c); 34 35 int isl_basic_set_n_constraint(__isl_keep isl_basic_set *bset); 36 int isl_basic_map_foreach_constraint(__isl_keep isl_basic_map *bmap, 37 int (*fn)(__isl_take isl_constraint *c, void *user), void *user); 38 int isl_basic_set_foreach_constraint(__isl_keep isl_basic_set *bset, 39 int (*fn)(__isl_take isl_constraint *c, void *user), void *user); 40 int isl_constraint_is_equal(struct isl_constraint *constraint1, 41 struct isl_constraint *constraint2); 42 43 int isl_basic_set_foreach_bound_pair(__isl_keep isl_basic_set *bset, 44 enum isl_dim_type type, unsigned pos, 45 int (*fn)(__isl_take isl_constraint *lower, 46 __isl_take isl_constraint *upper, 47 __isl_take isl_basic_set *bset, void *user), void *user); 48 49 __isl_give isl_basic_map *isl_basic_map_add_constraint( 50 __isl_take isl_basic_map *bmap, __isl_take isl_constraint *constraint); 51 __isl_give isl_basic_set *isl_basic_set_add_constraint( 52 __isl_take isl_basic_set *bset, __isl_take isl_constraint *constraint); 53 __isl_give isl_map *isl_map_add_constraint(__isl_take isl_map *map, 54 __isl_take isl_constraint *constraint); 55 __isl_give isl_set *isl_set_add_constraint(__isl_take isl_set *set, 56 __isl_take isl_constraint *constraint); 57 58 int isl_basic_map_has_defining_equality( 59 __isl_keep isl_basic_map *bmap, enum isl_dim_type type, int pos, 60 __isl_give isl_constraint **c); 61 int isl_basic_set_has_defining_equality( 62 struct isl_basic_set *bset, enum isl_dim_type type, int pos, 63 struct isl_constraint **constraint); 64 int isl_basic_set_has_defining_inequalities( 65 struct isl_basic_set *bset, enum isl_dim_type type, int pos, 66 struct isl_constraint **lower, 67 struct isl_constraint **upper); 68 69 __isl_give isl_space *isl_constraint_get_space( 70 __isl_keep isl_constraint *constraint); 71 __isl_give isl_local_space *isl_constraint_get_local_space( 72 __isl_keep isl_constraint *constraint); 73 int isl_constraint_dim(struct isl_constraint *constraint, 74 enum isl_dim_type type); 75 76 int isl_constraint_involves_dims(__isl_keep isl_constraint *constraint, 77 enum isl_dim_type type, unsigned first, unsigned n); 78 79 const char *isl_constraint_get_dim_name(__isl_keep isl_constraint *constraint, 80 enum isl_dim_type type, unsigned pos); 81 void isl_constraint_get_constant(__isl_keep isl_constraint *constraint, 82 isl_int *v); 83 void isl_constraint_get_coefficient(__isl_keep isl_constraint *constraint, 84 enum isl_dim_type type, int pos, isl_int *v); 85 __isl_give isl_constraint *isl_constraint_set_constant( 86 __isl_take isl_constraint *constraint, isl_int v); 87 __isl_give isl_constraint *isl_constraint_set_constant_si( 88 __isl_take isl_constraint *constraint, int v); 89 __isl_give isl_constraint *isl_constraint_set_coefficient( 90 __isl_take isl_constraint *constraint, 91 enum isl_dim_type type, int pos, isl_int v); 92 __isl_give isl_constraint *isl_constraint_set_coefficient_si( 93 __isl_take isl_constraint *constraint, 94 enum isl_dim_type type, int pos, int v); 95 96 __isl_give isl_aff *isl_constraint_get_div(__isl_keep isl_constraint *constraint, 97 int pos); 98 99 struct isl_constraint *isl_constraint_negate(struct isl_constraint *constraint); 100 101 int isl_constraint_is_equality(__isl_keep isl_constraint *constraint); 102 int isl_constraint_is_div_constraint(__isl_keep isl_constraint *constraint); 103 104 int isl_constraint_is_lower_bound(__isl_keep isl_constraint *constraint, 105 enum isl_dim_type type, unsigned pos); 106 int isl_constraint_is_upper_bound(__isl_keep isl_constraint *constraint, 107 enum isl_dim_type type, unsigned pos); 108 109 __isl_give isl_basic_map *isl_basic_map_from_constraint( 110 __isl_take isl_constraint *constraint); 111 struct isl_basic_set *isl_basic_set_from_constraint( 112 struct isl_constraint *constraint); 113 114 __isl_give isl_aff *isl_constraint_get_bound( 115 __isl_keep isl_constraint *constraint, enum isl_dim_type type, int pos); 116 __isl_give isl_aff *isl_constraint_get_aff( 117 __isl_keep isl_constraint *constraint); 118 __isl_give isl_constraint *isl_equality_from_aff(__isl_take isl_aff *aff); 119 __isl_give isl_constraint *isl_inequality_from_aff(__isl_take isl_aff *aff); 120 121 __isl_give isl_basic_set *isl_basic_set_drop_constraint( 122 __isl_take isl_basic_set *bset, __isl_take isl_constraint *constraint); 123 124 __isl_give isl_printer *isl_printer_print_constraint(__isl_take isl_printer *p, 125 __isl_keep isl_constraint *c); 126 void isl_constraint_dump(__isl_keep isl_constraint *c); 127 128 #if defined(__cplusplus) 129 } 130 #endif 131 132 #include <isl/dim.h> 133 134 #endif 135
