isl_tab_basic_map_partial_lexopt: detect modulos and integer divisions earlier
[isl.git] / isl_constraint_private.h
blob901bdcac2e74ef66a1b08a57b6815de2cdc6d7e0
1 #ifndef ISL_CONSTRAINT_PRIVATE_H
2 #define ISL_CONSTRAINT_PRIVATE_H
4 #include <isl/constraint.h>
5 #include <isl/local_space.h>
6 #include <isl/vec.h>
8 struct isl_constraint {
9 int ref;
11 int eq;
12 isl_local_space *ls;
13 isl_vec *v;
16 #undef EL
17 #define EL isl_constraint
19 #include <isl_list_templ.h>
21 __isl_give isl_constraint *isl_basic_set_constraint(
22 __isl_take isl_basic_set *bset, isl_int **line);
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);
29 isl_bool isl_constraint_is_div_equality(__isl_keep isl_constraint *constraint,
30 unsigned div);
32 #endif