reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2694 if (context_tab->n_var == 0) 2697 ineq = isl_vec_alloc(tab->mat->ctx, 1 + context_tab->n_var); 2701 if (isl_tab_extend_cons(context_tab, 1) < 0) 2704 snap = isl_tab_snap(context_tab); 2708 for (i = 0; i < context_tab->n_var; ++i) { 2710 if (isl_tab_add_ineq(context_tab, ineq->el) < 0) 2712 var = &context_tab->con[context_tab->n_con - 1]; 2712 var = &context_tab->con[context_tab->n_con - 1]; 2713 if (!context_tab->empty && 2714 !isl_tab_min_at_most_neg_one(context_tab, var)) { 2722 if (isl_tab_rollback(context_tab, snap) < 0) 2726 if (context_tab->M && n == context_tab->n_var) { 2726 if (context_tab->M && n == context_tab->n_var) { 2727 context_tab->mat = isl_mat_drop_cols(context_tab->mat, 2, 1); 2727 context_tab->mat = isl_mat_drop_cols(context_tab->mat, 2, 1); 2728 context_tab->M = 0;