reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1075 unsigned off = 2 + tab->M; 1077 if (tab->M) { 1078 if (isl_int_is_pos(tab->mat->row[row][2])) 1080 if (isl_int_is_neg(tab->mat->row[row][2])) 1084 if (isl_int_is_nonneg(tab->mat->row[row][1])) 1086 for (i = 0; i < tab->n_param; ++i) { 1088 if (tab->var[i].is_row) 1090 col = tab->var[i].index; 1091 if (isl_int_is_zero(tab->mat->row[row][off + col])) 1093 if (!tab->var[i].is_nonneg) 1095 if (isl_int_is_pos(tab->mat->row[row][off + col])) 1098 for (i = 0; i < tab->n_div; ++i) { 1099 if (tab->var[tab->n_var - tab->n_div + i].is_row) 1099 if (tab->var[tab->n_var - tab->n_div + i].is_row) 1099 if (tab->var[tab->n_var - tab->n_div + i].is_row) 1101 col = tab->var[tab->n_var - tab->n_div + i].index; 1101 col = tab->var[tab->n_var - tab->n_div + i].index; 1101 col = tab->var[tab->n_var - tab->n_div + i].index; 1102 if (isl_int_is_zero(tab->mat->row[row][off + col])) 1104 if (!tab->var[tab->n_var - tab->n_div + i].is_nonneg) 1104 if (!tab->var[tab->n_var - tab->n_div + i].is_nonneg) 1104 if (!tab->var[tab->n_var - tab->n_div + i].is_nonneg) 1106 if (isl_int_is_pos(tab->mat->row[row][off + col]))