Lines Matching defs:ineq
1518 int ineq; member
1531 isl_int *con, unsigned len, int n, int ineq) in update_constraint()
1694 isl_int *ineq = set->p[s]->ineq[i]; in common_constraints() local
1720 isl_int *ineq = set->p[s]->ineq[i]; in common_constraints() local
2043 isl_int *ineq, unsigned len) in hash_ineq()
2125 isl_int *ineq, int shift) in is_bound()
2168 int i, isl_int *ineq, uint32_t c_hash, struct ineq_cmp_data *v) in set_max_constant_term()
2221 struct sh_data *data, __isl_keep isl_set *set, int i, isl_int *ineq, in add_bound()
2696 __isl_keep isl_set *set, isl_int *ineq) in add_bound_from_constraint()
2772 __isl_take isl_set *set, int n_ineq, isl_int **ineq) in uset_unshifted_simple_hull_from_constraints()
2824 __isl_keep isl_basic_set_list *list, isl_int **ineq) in collect_inequalities()
2889 isl_int **ineq = NULL; in uset_unshifted_simple_hull_from_basic_set_list() local