Searched refs:clex (Results 1 – 1 of 1) sorted by relevance
2501 clex->tab = check_integer_feasible(clex->tab); in context_lex_add_eq()2504 clex->tab = check_samples(clex->tab, eq, 1); in context_lex_add_eq()2517 clex->tab = add_lexmin_ineq(clex->tab, ineq); in context_lex_add_ineq()2523 clex->tab = check_integer_feasible(clex->tab); in context_lex_add_ineq()2526 clex->tab = check_samples(clex->tab, ineq, 0); in context_lex_add_ineq()2605 clex->tab = add_lexmin_ineq(clex->tab, ineq); in context_lex_test_ineq()2606 clex->tab = check_integer_feasible(clex->tab); in context_lex_test_ineq()2804 free(clex); in context_lex_free()2854 if (!clex) in isl_context_lex_alloc()2862 clex->tab = check_integer_feasible(clex->tab); in isl_context_lex_alloc()[all …]