reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2448 if (!clex->tab) 2450 return isl_tab_peek_bset(clex->tab); 2456 return clex->tab; 2463 if (isl_tab_extend_cons(clex->tab, 2) < 0) 2465 if (add_lexmin_eq(clex->tab, eq) < 0) 2468 int v = tab_has_valid_sample(clex->tab, eq, 1); 2472 clex->tab = check_integer_feasible(clex->tab); 2472 clex->tab = check_integer_feasible(clex->tab); 2475 clex->tab = check_samples(clex->tab, eq, 1); 2475 clex->tab = check_samples(clex->tab, eq, 1); 2478 isl_tab_free(clex->tab); 2479 clex->tab = NULL; 2486 if (isl_tab_extend_cons(clex->tab, 1) < 0) 2488 clex->tab = add_lexmin_ineq(clex->tab, ineq); 2488 clex->tab = add_lexmin_ineq(clex->tab, ineq); 2490 int v = tab_has_valid_sample(clex->tab, ineq, 0); 2494 clex->tab = check_integer_feasible(clex->tab); 2494 clex->tab = check_integer_feasible(clex->tab); 2497 clex->tab = check_samples(clex->tab, ineq, 0); 2497 clex->tab = check_samples(clex->tab, ineq, 0); 2500 isl_tab_free(clex->tab); 2501 clex->tab = NULL; 2555 return tab_ineq_sign(clex->tab, ineq, strict); 2567 if (!clex->tab) 2570 if (isl_tab_extend_cons(clex->tab, 1) < 0) 2573 snap = isl_tab_snap(clex->tab); 2574 if (isl_tab_push_basis(clex->tab) < 0) 2576 clex->tab = add_lexmin_ineq(clex->tab, ineq); 2576 clex->tab = add_lexmin_ineq(clex->tab, ineq); 2577 clex->tab = check_integer_feasible(clex->tab); 2577 clex->tab = check_integer_feasible(clex->tab); 2578 if (!clex->tab) 2580 feasible = !clex->tab->empty; 2581 if (isl_tab_rollback(clex->tab, snap) < 0) 2606 nonneg = context_tab_insert_div(clex->tab, pos, div, 2610 if (clex->tab->M) 2628 snap = isl_tab_snap(clex->tab); 2629 if (isl_tab_push_basis(clex->tab) < 0) 2631 r = best_split(tab, clex->tab); 2633 if (r >= 0 && isl_tab_rollback(clex->tab, snap) < 0) 2642 if (!clex->tab) 2644 return clex->tab->empty; 2652 snap = isl_tab_snap(clex->tab); 2653 if (isl_tab_push_basis(clex->tab) < 0) 2655 if (isl_tab_save_samples(clex->tab) < 0) 2664 if (isl_tab_rollback(clex->tab, (struct isl_tab_undo *)save) < 0) { 2665 isl_tab_free(clex->tab); 2666 clex->tab = NULL; 2677 return !!clex->tab; 2748 snap = isl_tab_snap(clex->tab); 2749 if (isl_tab_push_basis(clex->tab) < 0) 2752 tab = tab_detect_nonnegative_parameters(tab, clex->tab); 2754 if (isl_tab_rollback(clex->tab, snap) < 0) 2766 isl_tab_free(clex->tab); 2767 clex->tab = NULL; 2774 isl_tab_free(clex->tab); 2830 clex->tab = context_tab_for_lexmin(isl_basic_set_copy(dom)); 2831 if (restore_lexmin(clex->tab) < 0) 2833 clex->tab = check_integer_feasible(clex->tab); 2833 clex->tab = check_integer_feasible(clex->tab); 2834 if (!clex->tab)