reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
129 tab = isl_tab_from_basic_set(bset, 0); 130 if (!tab) 132 if (isl_tab_extend_cons(tab, dim + 1) < 0) 135 tab->basis = isl_mat_identity(bset->ctx, 1 + dim); 137 tab = isl_tab_compute_reduced_basis(tab); 137 tab = isl_tab_compute_reduced_basis(tab); 138 if (!tab) 140 B = isl_mat_copy(tab->basis); 150 res = isl_tab_min(tab, B->row[1 + level], 158 res = isl_tab_min(tab, B->row[1 + level], 167 snap[level] = isl_tab_snap(tab); 175 if (isl_tab_rollback(tab, snap[level]) < 0) 186 if (isl_tab_rollback(tab, snap[level]) < 0) 191 if (isl_tab_add_valid_eq(tab, B->row[1 + level]) < 0) 199 if (add_solution(tab, callback) < 0) 202 if (isl_tab_rollback(tab, snap[level]) < 0) 206 isl_tab_free(tab); 214 isl_tab_free(tab);