reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
3246 if (!tab) 3249 if (tab->empty) 3252 snap = isl_tab_snap(tab); 3253 r = isl_tab_add_row(tab, f); 3256 var = &tab->con[r]; 3259 find_pivot(tab, var, var, -1, &row, &col); 3266 if (isl_tab_pivot(tab, row, col) < 0) 3269 isl_int_mul(tab->mat->row[var->index][0], 3270 tab->mat->row[var->index][0], denom); 3274 isl_vec_free(tab->dual); 3275 tab->dual = isl_vec_alloc(tab->mat->ctx, 1 + tab->n_con); 3275 tab->dual = isl_vec_alloc(tab->mat->ctx, 1 + tab->n_con); 3275 tab->dual = isl_vec_alloc(tab->mat->ctx, 1 + tab->n_con); 3276 if (!tab->dual) 3278 isl_int_set(tab->dual->el[0], tab->mat->row[var->index][0]); 3278 isl_int_set(tab->dual->el[0], tab->mat->row[var->index][0]); 3279 for (i = 0; i < tab->n_con; ++i) { 3281 if (tab->con[i].is_row) { 3282 isl_int_set_si(tab->dual->el[1 + i], 0); 3285 pos = 2 + tab->M + tab->con[i].index; 3285 pos = 2 + tab->M + tab->con[i].index; 3286 if (tab->con[i].negated) 3287 isl_int_neg(tab->dual->el[1 + i], 3288 tab->mat->row[var->index][pos]); 3290 isl_int_set(tab->dual->el[1 + i], 3291 tab->mat->row[var->index][pos]); 3296 isl_int_set(*opt, tab->mat->row[var->index][1]); 3297 isl_int_set(*opt_denom, tab->mat->row[var->index][0]); 3299 get_rounded_sample_value(tab, var, 1, opt); 3301 if (isl_tab_rollback(tab, snap) < 0)