Searched refs:ineq_cmp_data (Results 1 – 1 of 1) sorted by relevance
2028 struct ineq_cmp_data { struct2036 struct ineq_cmp_data *v = (struct ineq_cmp_data *)val; in has_ineq() argument2046 struct ineq_cmp_data v; in hash_ineq()2168 int i, isl_int *ineq, uint32_t c_hash, struct ineq_cmp_data *v) in set_max_constant_term()2225 struct ineq_cmp_data v; in add_bound()2701 struct ineq_cmp_data v; in add_bound_from_constraint()