| 1 | #ifndef ISL_CONSTRAINT_PRIVATE_H |
|---|---|
| 2 | #define ISL_CONSTRAINT_PRIVATE_H |
| 3 | |
| 4 | #include <isl/constraint.h> |
| 5 | #include <isl/local_space.h> |
| 6 | #include <isl/vec.h> |
| 7 | |
| 8 | struct isl_constraint { |
| 9 | int ref; |
| 10 | |
| 11 | int eq; |
| 12 | isl_local_space *ls; |
| 13 | isl_vec *v; |
| 14 | }; |
| 15 | |
| 16 | #undef EL |
| 17 | #define EL isl_constraint |
| 18 | |
| 19 | #include <isl_list_templ.h> |
| 20 | |
| 21 | __isl_give isl_constraint *isl_basic_set_constraint( |
| 22 | __isl_take isl_basic_set *bset, isl_int **line); |
| 23 | |
| 24 | void isl_constraint_get_constant(__isl_keep isl_constraint *constraint, |
| 25 | isl_int *v); |
| 26 | void isl_constraint_get_coefficient(__isl_keep isl_constraint *constraint, |
| 27 | enum isl_dim_type type, int pos, isl_int *v); |
| 28 | |
| 29 | isl_bool isl_constraint_is_div_equality(__isl_keep isl_constraint *constraint, |
| 30 | unsigned div); |
| 31 | |
| 32 | #endif |
| 33 |
