reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2864 return tab_detect_nonnegative_parameters(tab, cgbr->tab); 2871 if (!cgbr->tab) 2873 return isl_tab_peek_bset(cgbr->tab); 2879 return cgbr->tab; 2892 struct isl_basic_set *bset = isl_tab_peek_bset(cgbr->tab); 2895 cst = isl_vec_alloc(cgbr->tab->mat->ctx, bset->n_ineq); 2930 return isl_vec_alloc(cgbr->tab->mat->ctx, 0); 2957 if (!cgbr->tab) 2959 return cgbr->tab->bmap->n_eq == 0 && cgbr->tab->bmap->n_div == 0; 2959 return cgbr->tab->bmap->n_eq == 0 && cgbr->tab->bmap->n_div == 0; 2967 if (isl_tab_sample_is_integer(cgbr->tab)) 2968 return isl_tab_get_sample_value(cgbr->tab); 2981 bset = isl_tab_peek_bset(cgbr->tab); 2996 if (cgbr->tab->basis) { 2997 if (cgbr->tab->basis->n_col != 1 + cgbr->tab->n_var) { 2997 if (cgbr->tab->basis->n_col != 1 + cgbr->tab->n_var) { 2998 isl_mat_free(cgbr->tab->basis); 2999 cgbr->tab->basis = NULL; 3001 cgbr->tab->n_zero = 0; 3002 cgbr->tab->n_unbounded = 0; 3005 snap = isl_tab_snap(cgbr->tab); 3007 sample = isl_tab_sample(cgbr->tab); 3009 if (!sample || isl_tab_rollback(cgbr->tab, snap) < 0) { 3023 bset = isl_basic_set_dup(isl_tab_peek_bset(cgbr->tab)); 3024 bset = isl_basic_set_update_from_tab(bset, cgbr->tab); 3035 if (!cgbr->tab) 3038 if (cgbr->tab->empty) 3047 if (isl_tab_mark_empty(cgbr->tab) < 0) 3052 if (isl_tab_add_sample(cgbr->tab, sample) < 0) 3057 isl_tab_free(cgbr->tab); 3058 cgbr->tab = NULL; 3092 cgbr->tab = add_gbr_eq(cgbr->tab, eq); 3092 cgbr->tab = add_gbr_eq(cgbr->tab, eq); 3107 int v = tab_has_valid_sample(cgbr->tab, eq, 1); 3114 cgbr->tab = check_samples(cgbr->tab, eq, 1); 3114 cgbr->tab = check_samples(cgbr->tab, eq, 1); 3117 isl_tab_free(cgbr->tab); 3118 cgbr->tab = NULL; 3123 if (!cgbr->tab) 3126 if (isl_tab_extend_cons(cgbr->tab, 1) < 0) 3129 if (isl_tab_add_ineq(cgbr->tab, ineq) < 0) 3135 dim = isl_basic_map_total_dim(cgbr->tab->bmap); 3165 isl_tab_free(cgbr->tab); 3166 cgbr->tab = NULL; 3175 if (!cgbr->tab) 3179 int v = tab_has_valid_sample(cgbr->tab, ineq, 0); 3186 cgbr->tab = check_samples(cgbr->tab, ineq, 0); 3186 cgbr->tab = check_samples(cgbr->tab, ineq, 0); 3189 isl_tab_free(cgbr->tab); 3190 cgbr->tab = NULL; 3204 return tab_ineq_sign(cgbr->tab, ineq, strict); 3218 if (!cgbr->tab) 3221 if (isl_tab_extend_cons(cgbr->tab, 1) < 0) 3224 snap = isl_tab_snap(cgbr->tab); 3231 if (!cgbr->tab) 3233 feasible = !cgbr->tab->empty; 3234 if (isl_tab_rollback(cgbr->tab, snap) < 0) 3311 if (isl_tab_extend_cons(tab, (cgbr->tab->bmap->n_ineq - first)/2) < 0) 3316 for (i = first; i < cgbr->tab->bmap->n_ineq; i += 2) { 3322 isl_seq_cpy(eq->el, cgbr->tab->bmap->ineq[i], 1 + tab->n_param); 3324 cgbr->tab->bmap->ineq[i] + 1 + tab->n_param, 3356 isl_tab_free(cgbr->tab); 3357 cgbr->tab = NULL; 3368 struct isl_basic_set *bset = isl_tab_peek_bset(cgbr->tab); 3379 n_ineq = cgbr->tab->bmap->n_ineq; 3380 cgbr->tab = isl_tab_detect_equalities(cgbr->tab, cgbr->cone); 3380 cgbr->tab = isl_tab_detect_equalities(cgbr->tab, cgbr->cone); 3381 if (!cgbr->tab) 3383 if (cgbr->tab->bmap->n_ineq > n_ineq && 3389 isl_tab_free(cgbr->tab); 3390 cgbr->tab = NULL; 3425 return context_tab_insert_div(cgbr->tab, pos, div, 3436 snap = isl_tab_snap(cgbr->tab); 3437 r = best_split(tab, cgbr->tab); 3439 if (r >= 0 && isl_tab_rollback(cgbr->tab, snap) < 0) 3448 if (!cgbr->tab) 3450 return cgbr->tab->empty; 3464 if (!cgbr->tab) 3467 snap = isl_alloc_type(cgbr->tab->mat->ctx, struct isl_gbr_tab_undo); 3471 snap->tab_snap = isl_tab_snap(cgbr->tab); 3472 if (isl_tab_save_samples(cgbr->tab) < 0) 3497 if (isl_tab_rollback(cgbr->tab, snap->tab_snap) < 0) 3521 isl_tab_free(cgbr->tab); 3522 cgbr->tab = NULL; 3534 return !!cgbr->tab; 3540 isl_tab_free(cgbr->tab); 3541 cgbr->tab = NULL; 3548 isl_tab_free(cgbr->tab); 3592 cgbr->tab = isl_tab_from_basic_set(dom, 1); 3593 cgbr->tab = isl_tab_init_samples(cgbr->tab); 3593 cgbr->tab = isl_tab_init_samples(cgbr->tab); 3594 if (!cgbr->tab)