reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
862 if (!bset) 864 offset = basic_set_offset(bset, type); 865 total = isl_basic_set_total_dim(bset); 866 if (pos >= isl_basic_set_dim(bset, type)) 867 isl_die(isl_basic_set_get_ctx(bset), isl_error_invalid, 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, 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]); 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]; 890 upper_line = &bset->ineq[j]; 892 lower_line = &bset->ineq[j]; 893 upper_line = &bset->ineq[i]; 896 isl_basic_set_copy(bset), lower_line); 898 isl_basic_set_copy(bset), upper_line);