reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2838 if (!tab) 2843 var = &tab->var[pos]; 2846 if (!max_is_manifestly_unbounded(tab, var)) 2847 if (to_row(tab, var, 1) < 0) 2850 if (!min_is_manifestly_unbounded(tab, var)) 2851 if (to_row(tab, var, -1) < 0) 2857 isl_int_addmul(tab->mat->row[var->index][1], 2858 shift, tab->mat->row[var->index][0]); 2861 unsigned off = 2 + tab->M; 2863 for (i = 0; i < tab->n_row; ++i) { 2864 if (isl_int_is_zero(tab->mat->row[i][off + var->index])) 2866 isl_int_submul(tab->mat->row[i][1], 2867 shift, tab->mat->row[i][off + var->index]);