reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1124 unsigned off = 2 + tab->M; 1126 if (tab->M) { 1127 if (isl_int_is_pos(tab->mat->row[row][2])) 1129 if (isl_int_is_neg(tab->mat->row[row][2])) 1133 if (isl_int_is_neg(tab->mat->row[row][1])) 1135 for (i = 0; i < tab->n_param; ++i) { 1137 if (tab->var[i].is_row) 1139 col = tab->var[i].index; 1140 if (isl_int_is_zero(tab->mat->row[row][off + col])) 1142 if (!tab->var[i].is_nonneg) 1144 if (isl_int_is_neg(tab->mat->row[row][off + col])) 1147 for (i = 0; i < tab->n_div; ++i) { 1148 if (tab->var[tab->n_var - tab->n_div + i].is_row) 1148 if (tab->var[tab->n_var - tab->n_div + i].is_row) 1148 if (tab->var[tab->n_var - tab->n_div + i].is_row) 1150 col = tab->var[tab->n_var - tab->n_div + i].index; 1150 col = tab->var[tab->n_var - tab->n_div + i].index; 1150 col = tab->var[tab->n_var - tab->n_div + i].index; 1151 if (isl_int_is_zero(tab->mat->row[row][off + col])) 1153 if (!tab->var[tab->n_var - tab->n_div + i].is_nonneg) 1153 if (!tab->var[tab->n_var - tab->n_div + i].is_nonneg) 1153 if (!tab->var[tab->n_var - tab->n_div + i].is_nonneg) 1155 if (isl_int_is_neg(tab->mat->row[row][off + col]))