1 #ifndef ISL_CONSTRAINT_H
2 #define ISL_CONSTRAINT_H
7 #if defined(__cplusplus)
11 struct isl_constraint
{
15 struct isl_basic_map
*bmap
;
18 typedef struct isl_constraint isl_constraint
;
20 __isl_give isl_constraint
*isl_equality_alloc(__isl_take isl_dim
*dim
);
21 __isl_give isl_constraint
*isl_inequality_alloc(__isl_take isl_dim
*dim
);
22 struct isl_constraint
*isl_basic_set_constraint(struct isl_basic_set
*bset
,
25 struct isl_constraint
*isl_constraint_cow(struct isl_constraint
*c
);
26 struct isl_constraint
*isl_constraint_copy(struct isl_constraint
*c
);
27 void isl_constraint_free(struct isl_constraint
*c
);
29 struct isl_constraint
*isl_basic_set_first_constraint(
30 struct isl_basic_set
*bset
);
31 struct isl_constraint
*isl_constraint_next(struct isl_constraint
*c
);
32 int isl_constraint_is_equal(struct isl_constraint
*constraint1
,
33 struct isl_constraint
*constraint2
);
35 __isl_give isl_basic_map
*isl_basic_map_add_constraint(
36 __isl_take isl_basic_map
*bmap
, __isl_take isl_constraint
*constraint
);
37 __isl_give isl_basic_set
*isl_basic_set_add_constraint(
38 __isl_take isl_basic_set
*bset
, __isl_take isl_constraint
*constraint
);
40 int isl_basic_set_has_defining_equality(
41 struct isl_basic_set
*bset
, enum isl_dim_type type
, int pos
,
42 struct isl_constraint
**constraint
);
43 int isl_basic_set_has_defining_inequalities(
44 struct isl_basic_set
*bset
, enum isl_dim_type type
, int pos
,
45 struct isl_constraint
**lower
,
46 struct isl_constraint
**upper
);
48 int isl_constraint_dim(struct isl_constraint
*constraint
,
49 enum isl_dim_type type
);
51 void isl_constraint_get_constant(struct isl_constraint
*constraint
, isl_int
*v
);
52 void isl_constraint_get_coefficient(struct isl_constraint
*constraint
,
53 enum isl_dim_type type
, int pos
, isl_int
*v
);
54 void isl_constraint_set_constant(__isl_keep isl_constraint
*constraint
, isl_int v
);
55 void isl_constraint_set_coefficient(__isl_keep isl_constraint
*constraint
,
56 enum isl_dim_type type
, int pos
, isl_int v
);
58 struct isl_div
*isl_constraint_div(struct isl_constraint
*constraint
, int pos
);
59 struct isl_constraint
*isl_constraint_add_div(struct isl_constraint
*constraint
,
60 struct isl_div
*div
, int *pos
);
62 void isl_constraint_clear(struct isl_constraint
*constraint
);
63 struct isl_constraint
*isl_constraint_negate(struct isl_constraint
*constraint
);
65 int isl_constraint_is_equality(struct isl_constraint
*constraint
);
67 struct isl_basic_set
*isl_basic_set_from_constraint(
68 struct isl_constraint
*constraint
);
70 #if defined(__cplusplus)