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
149