Home | History | Annotate | Download | only in dist

Lines Matching refs:ineq

64 	struct isl_basic_map *bmap, int ineq, int n, __isl_take isl_printer *p)
70 	isl_int *c = ineq ? bmap->ineq[n] : bmap->eq[n];
76 	p = isl_printer_print_int(p, ineq);
516 	if (isl_seq_last_non_zero(bmap->ineq[i + 1], 1 + total) != last)
521 					    bmap->ineq[i + 1], last - o_div);
527 	r = isl_int_abs_eq(bmap->ineq[i][last], bmap->ineq[i + 1][last]) &&
528 	    !isl_int_eq(bmap->ineq[i][last], bmap->ineq[i + 1][last]);
821 		int l = isl_seq_last_non_zero(bmap->ineq[i], 1 + total);
831 						    bmap->ineq[i], l - o_div);
839 		s = isl_int_sgn(bmap->ineq[i][l]);
840 		strict = !rational && isl_int_is_negone(bmap->ineq[i][0]);
842 			isl_seq_cpy(c->el, bmap->ineq[i], 1 + total);
844 			isl_seq_neg(c->el, bmap->ineq[i], 1 + total);
2197 		p = print_constraint_c(p, ls, bset->ineq[i], ">=", &first);