reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1974 if (!tab) 1977 snap = isl_tab_snap(tab); 1978 if (isl_tab_push_basis(tab) < 0) 1981 tab = cut_to_integer_lexmin(tab, CUT_ALL); 1981 tab = cut_to_integer_lexmin(tab, CUT_ALL); 1982 if (!tab) 1985 if (!tab->empty && sample_is_finite(tab)) { 1985 if (!tab->empty && sample_is_finite(tab)) { 1988 sample = isl_tab_get_sample_value(tab); 1990 if (isl_tab_add_sample(tab, sample) < 0) 1994 if (!tab->empty && isl_tab_rollback(tab, snap) < 0) 1994 if (!tab->empty && isl_tab_rollback(tab, snap) < 0) 1997 return tab; 1999 isl_tab_free(tab);