reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1873 if (!tab) 1875 if (tab->empty) 1876 return tab; 1878 while ((var = next_non_integer_var(tab, -1, &flags)) != -1) { 1881 if (isl_tab_mark_empty(tab) < 0) 1883 return tab; 1885 row = tab->var[var].index; 1886 row = add_cut(tab, row); 1891 } while ((var = next_non_integer_var(tab, var, &flags)) != -1); 1892 if (restore_lexmin(tab) < 0) 1894 if (tab->empty) 1897 return tab; 1899 isl_tab_free(tab);