Home | History | Annotate | Download | only in dist

Lines Matching refs:ineq

99 	if (isl_int_is_one(bset->ineq[0][1]))
100 		isl_int_neg(sample->block.data[1], bset->ineq[0][0]);
102 		isl_int_set(sample->block.data[1], bset->ineq[0][0]);
105 					bset->ineq[i], 2, &t);
183 				    bset->ineq[i - bset->n_eq] + 1, tab->n_var);
807 		isl_seq_cpy(shift->ineq[k] + 1, cone->ineq[i] + 1, total);
808 		isl_seq_inner_product(shift->ineq[k] + 1, vec->el + 1, total,
809 				      &shift->ineq[k][0]);
810 		isl_int_cdiv_q(shift->ineq[k][0],
811 			       shift->ineq[k][0], vec->el[0]);
812 		isl_int_neg(shift->ineq[k][0], shift->ineq[k][0]);
814 			if (isl_int_is_nonneg(shift->ineq[k][1 + j]))
816 			isl_int_add(shift->ineq[k][0],
817 				    shift->ineq[k][0], shift->ineq[k][1 + j]);
1048 		isl_seq_cpy(row->el, bset->ineq[i] + 1, tab_cone->n_var);
1058 		isl_int_add(bset->ineq[i][0], bset->ineq[i][0], v);
1059 		ok = isl_tab_add_ineq(tab, bset->ineq[i]) >= 0;
1060 		isl_int_sub(bset->ineq[i][0], bset->ineq[i][0], v);