reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
4319 k = isl_basic_set_alloc_inequality(bset); 4320 if (k < 0) 4322 isl_seq_cpy(bset->ineq[k], qp->div->row[div] + 1, 1 + total); 4323 isl_int_submul(bset->ineq[k][0], v, qp->div->row[div][0]); 4325 k = isl_basic_set_alloc_inequality(bset); 4326 if (k < 0) 4328 isl_seq_neg(bset->ineq[k], qp->div->row[div] + 1, 1 + total); 4329 isl_int_addmul(bset->ineq[k][0], v, qp->div->row[div][0]); 4330 isl_int_add(bset->ineq[k][0], bset->ineq[k][0], qp->div->row[div][0]); 4330 isl_int_add(bset->ineq[k][0], bset->ineq[k][0], qp->div->row[div][0]); 4331 isl_int_sub_ui(bset->ineq[k][0], bset->ineq[k][0], 1); 4331 isl_int_sub_ui(bset->ineq[k][0], bset->ineq[k][0], 1);