2 * Copyright 2008-2009 Katholieke Universiteit Leuven
4 * Use of this software is governed by the MIT license
6 * Written by Sven Verdoolaege, K.U.Leuven, Departement
7 * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
10 #ifndef ISL_CONSTRAINT_H
11 #define ISL_CONSTRAINT_H
13 #include <isl/local_space.h>
14 #include <isl/space.h>
15 #include <isl/aff_type.h>
16 #include <isl/set_type.h>
18 #include <isl/printer.h>
20 #if defined(__cplusplus)
24 struct isl_constraint
;
25 typedef struct isl_constraint isl_constraint
;
27 ISL_DECLARE_LIST(constraint
)
29 isl_ctx
*isl_constraint_get_ctx(__isl_keep isl_constraint
*c
);
31 __isl_give isl_constraint
*isl_equality_alloc(__isl_take isl_local_space
*ls
);
32 __isl_give isl_constraint
*isl_inequality_alloc(__isl_take isl_local_space
*ls
);
34 struct isl_constraint
*isl_constraint_cow(struct isl_constraint
*c
);
35 struct isl_constraint
*isl_constraint_copy(struct isl_constraint
*c
);
36 void *isl_constraint_free(__isl_take isl_constraint
*c
);
38 int isl_basic_set_n_constraint(__isl_keep isl_basic_set
*bset
);
39 int isl_basic_map_foreach_constraint(__isl_keep isl_basic_map
*bmap
,
40 int (*fn
)(__isl_take isl_constraint
*c
, void *user
), void *user
);
41 int isl_basic_set_foreach_constraint(__isl_keep isl_basic_set
*bset
,
42 int (*fn
)(__isl_take isl_constraint
*c
, void *user
), void *user
);
43 int isl_constraint_is_equal(struct isl_constraint
*constraint1
,
44 struct isl_constraint
*constraint2
);
46 int isl_basic_set_foreach_bound_pair(__isl_keep isl_basic_set
*bset
,
47 enum isl_dim_type type
, unsigned pos
,
48 int (*fn
)(__isl_take isl_constraint
*lower
,
49 __isl_take isl_constraint
*upper
,
50 __isl_take isl_basic_set
*bset
, void *user
), void *user
);
52 __isl_give isl_basic_map
*isl_basic_map_add_constraint(
53 __isl_take isl_basic_map
*bmap
, __isl_take isl_constraint
*constraint
);
54 __isl_give isl_basic_set
*isl_basic_set_add_constraint(
55 __isl_take isl_basic_set
*bset
, __isl_take isl_constraint
*constraint
);
56 __isl_give isl_map
*isl_map_add_constraint(__isl_take isl_map
*map
,
57 __isl_take isl_constraint
*constraint
);
58 __isl_give isl_set
*isl_set_add_constraint(__isl_take isl_set
*set
,
59 __isl_take isl_constraint
*constraint
);
61 int isl_basic_map_has_defining_equality(
62 __isl_keep isl_basic_map
*bmap
, enum isl_dim_type type
, int pos
,
63 __isl_give isl_constraint
**c
);
64 int isl_basic_set_has_defining_equality(
65 struct isl_basic_set
*bset
, enum isl_dim_type type
, int pos
,
66 struct isl_constraint
**constraint
);
67 int isl_basic_set_has_defining_inequalities(
68 struct isl_basic_set
*bset
, enum isl_dim_type type
, int pos
,
69 struct isl_constraint
**lower
,
70 struct isl_constraint
**upper
);
72 __isl_give isl_space
*isl_constraint_get_space(
73 __isl_keep isl_constraint
*constraint
);
74 __isl_give isl_local_space
*isl_constraint_get_local_space(
75 __isl_keep isl_constraint
*constraint
);
76 int isl_constraint_dim(struct isl_constraint
*constraint
,
77 enum isl_dim_type type
);
79 int isl_constraint_involves_dims(__isl_keep isl_constraint
*constraint
,
80 enum isl_dim_type type
, unsigned first
, unsigned n
);
82 const char *isl_constraint_get_dim_name(__isl_keep isl_constraint
*constraint
,
83 enum isl_dim_type type
, unsigned pos
);
84 void isl_constraint_get_constant(__isl_keep isl_constraint
*constraint
,
86 void isl_constraint_get_coefficient(__isl_keep isl_constraint
*constraint
,
87 enum isl_dim_type type
, int pos
, isl_int
*v
);
88 __isl_give isl_constraint
*isl_constraint_set_constant(
89 __isl_take isl_constraint
*constraint
, isl_int v
);
90 __isl_give isl_constraint
*isl_constraint_set_constant_si(
91 __isl_take isl_constraint
*constraint
, int v
);
92 __isl_give isl_constraint
*isl_constraint_set_coefficient(
93 __isl_take isl_constraint
*constraint
,
94 enum isl_dim_type type
, int pos
, isl_int v
);
95 __isl_give isl_constraint
*isl_constraint_set_coefficient_si(
96 __isl_take isl_constraint
*constraint
,
97 enum isl_dim_type type
, int pos
, int v
);
99 __isl_give isl_aff
*isl_constraint_get_div(__isl_keep isl_constraint
*constraint
,
102 struct isl_constraint
*isl_constraint_negate(struct isl_constraint
*constraint
);
104 int isl_constraint_is_equality(__isl_keep isl_constraint
*constraint
);
105 int isl_constraint_is_div_constraint(__isl_keep isl_constraint
*constraint
);
107 int isl_constraint_is_lower_bound(__isl_keep isl_constraint
*constraint
,
108 enum isl_dim_type type
, unsigned pos
);
109 int isl_constraint_is_upper_bound(__isl_keep isl_constraint
*constraint
,
110 enum isl_dim_type type
, unsigned pos
);
112 __isl_give isl_basic_map
*isl_basic_map_from_constraint(
113 __isl_take isl_constraint
*constraint
);
114 struct isl_basic_set
*isl_basic_set_from_constraint(
115 struct isl_constraint
*constraint
);
117 __isl_give isl_aff
*isl_constraint_get_bound(
118 __isl_keep isl_constraint
*constraint
, enum isl_dim_type type
, int pos
);
119 __isl_give isl_aff
*isl_constraint_get_aff(
120 __isl_keep isl_constraint
*constraint
);
121 __isl_give isl_constraint
*isl_equality_from_aff(__isl_take isl_aff
*aff
);
122 __isl_give isl_constraint
*isl_inequality_from_aff(__isl_take isl_aff
*aff
);
124 __isl_give isl_basic_set
*isl_basic_set_drop_constraint(
125 __isl_take isl_basic_set
*bset
, __isl_take isl_constraint
*constraint
);
127 __isl_give isl_printer
*isl_printer_print_constraint(__isl_take isl_printer
*p
,
128 __isl_keep isl_constraint
*c
);
129 void isl_constraint_dump(__isl_keep isl_constraint
*c
);
131 #if defined(__cplusplus)