reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
387 if (!tab) 389 if (tab->empty) 390 return isl_vec_alloc(tab->mat->ctx, 0); 392 if (!tab->basis) 393 tab->basis = initial_basis(tab); 393 tab->basis = initial_basis(tab); 394 if (!tab->basis) 396 isl_assert(tab->mat->ctx, tab->basis->n_row == tab->n_var + 1, 396 isl_assert(tab->mat->ctx, tab->basis->n_row == tab->n_var + 1, 396 isl_assert(tab->mat->ctx, tab->basis->n_row == tab->n_var + 1, 398 isl_assert(tab->mat->ctx, tab->basis->n_col == tab->n_var + 1, 398 isl_assert(tab->mat->ctx, tab->basis->n_col == tab->n_var + 1, 398 isl_assert(tab->mat->ctx, tab->basis->n_col == tab->n_var + 1, 401 ctx = tab->mat->ctx; 402 dim = tab->n_var; 405 if (tab->n_unbounded == tab->n_var) { 405 if (tab->n_unbounded == tab->n_var) { 406 sample = isl_tab_get_sample_value(tab); 407 sample = isl_mat_vec_product(isl_mat_copy(tab->basis), sample); 409 sample = isl_mat_vec_inverse_product(isl_mat_copy(tab->basis), 414 if (isl_tab_extend_cons(tab, dim + 1) < 0) 432 res = compute_min(ctx, tab, min, level); 439 if (isl_tab_sample_is_integer(tab)) 441 res = compute_max(ctx, tab, max, level); 448 if (isl_tab_sample_is_integer(tab)) 453 g = greedy_search(ctx, tab, min, max, level); 464 tab->n_zero = level; 468 tab = isl_tab_compute_reduced_basis(tab); 468 tab = isl_tab_compute_reduced_basis(tab); 470 if (!tab || !tab->basis) 470 if (!tab || !tab->basis) 476 snap[level] = isl_tab_snap(tab); 484 if (isl_tab_rollback(tab, snap[level]) < 0) 488 isl_int_neg(tab->basis->row[1 + level][0], min->el[level]); 489 if (isl_tab_add_valid_eq(tab, tab->basis->row[1 + level]) < 0) 489 if (isl_tab_add_valid_eq(tab, tab->basis->row[1 + level]) < 0) 491 isl_int_set_si(tab->basis->row[1 + level][0], 0); 492 if (level + tab->n_unbounded < dim - 1) { 501 sample = isl_tab_get_sample_value(tab); 504 if (tab->n_unbounded && !isl_int_is_one(sample->el[0])) { 505 sample = isl_mat_vec_product(isl_mat_copy(tab->basis), 509 isl_mat_copy(tab->basis), sample);