reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2044 r = isl_tab_insert_div(tab, pos, div, add_ineq, user); 2047 nonneg = tab->var[r].is_nonneg; 2048 tab->var[r].frozen = 1; 2050 samples = isl_mat_extend(tab->samples, 2051 tab->n_sample, 1 + tab->n_var); 2051 tab->n_sample, 1 + tab->n_var); 2052 tab->samples = samples; 2055 for (i = tab->n_outside; i < samples->n_row; ++i) { 2061 tab->samples = isl_mat_move_cols(tab->samples, 1 + pos, 2061 tab->samples = isl_mat_move_cols(tab->samples, 1 + pos, 2062 1 + tab->n_var - 1, 1); 2063 if (!tab->samples)