reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
870 for (i = 0; i < bset->n_ineq; ++i) { 870 for (i = 0; i < bset->n_ineq; ++i) { 870 for (i = 0; i < bset->n_ineq; ++i) { 871 if (isl_int_is_zero(bset->ineq[i][offset + pos])) 873 if (isl_int_is_one(bset->ineq[i][offset + pos])) 875 if (isl_int_is_negone(bset->ineq[i][offset + pos])) 877 if (isl_seq_first_non_zero(bset->ineq[i]+offset+pos+1, 880 for (j = i + 1; j < bset->n_ineq; ++j) { 881 if (!isl_seq_is_neg(bset->ineq[i]+1, bset->ineq[j]+1, 884 isl_int_add(m, bset->ineq[i][0], bset->ineq[j][0]); 885 if (isl_int_abs_ge(m, bset->ineq[i][offset+pos])) 888 if (isl_int_is_pos(bset->ineq[i][offset+pos])) { 889 lower_line = &bset->ineq[i]; 893 upper_line = &bset->ineq[i];