reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2697 unsigned off = 2 + tab->M; 2702 isl_die(isl_tab_get_ctx(tab), isl_error_invalid, 2706 if (isl_tab_extend_cons(tab, 1) < 0) 2709 r = tab->n_con; 2710 tab->con[r].index = tab->n_row; 2710 tab->con[r].index = tab->n_row; 2711 tab->con[r].is_row = 1; 2712 tab->con[r].is_nonneg = 0; 2713 tab->con[r].is_zero = 0; 2714 tab->con[r].is_redundant = 0; 2715 tab->con[r].frozen = 0; 2716 tab->con[r].negated = 0; 2717 tab->row_var[tab->n_row] = ~r; 2717 tab->row_var[tab->n_row] = ~r; 2718 row = tab->mat->row[tab->n_row]; 2718 row = tab->mat->row[tab->n_row]; 2721 isl_int_set(row[0], tab->mat->row[var->index][0]); 2723 tab->mat->row[var->index] + 1, 1 + tab->n_col); 2723 tab->mat->row[var->index] + 1, 1 + tab->n_col); 2726 isl_seq_clr(row + 1, 1 + tab->n_col); 2730 tab->n_row++; 2731 tab->n_con++; 2733 sgn = sign_of_max(tab, &tab->con[r]); 2733 sgn = sign_of_max(tab, &tab->con[r]); 2737 if (drop_last_con_in_row(tab, r) < 0) 2739 if (isl_tab_mark_empty(tab) < 0) 2743 tab->con[r].is_nonneg = 1; 2745 if (close_row(tab, &tab->con[r], 1) < 0) 2745 if (close_row(tab, &tab->con[r], 1) < 0) 2747 if (drop_last_con_in_row(tab, r) < 0)