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