reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
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)