Searched refs:isl_lp_ok (Results 1 – 13 of 13) sorted by relevance
96 if (res == isl_lp_ok) { in initial_solution()221 if (res == isl_lp_ok && isl_int_is_one(sol->el[0])) { in solve_ilp()226 return isl_lp_ok; in solve_ilp()289 if (res == isl_lp_ok && sol_p) { in solve_ilp_with_eq()447 if (res == isl_lp_ok) in isl_set_opt_aligned()465 return empty ? isl_lp_empty : isl_lp_ok; in isl_set_opt_aligned()514 if (lp_res == isl_lp_ok) { in convert_lp_result()
90 case isl_lp_ok: in main()
41 if (res == isl_lp_ok && sol) { in isl_tab_solve_lp()233 if (lp_res == isl_lp_ok) in basic_set_opt_lp()
209 if (res != isl_lp_ok) in solve_lp()229 if (res != isl_lp_ok) in cut_lp_to_hyperplane()
304 if (res != isl_lp_ok) in greedy_search()311 if (res != isl_lp_ok) in greedy_search()440 if (res != isl_lp_ok) in isl_tab_sample()449 if (res != isl_lp_ok) in isl_tab_sample()
220 assert(res == isl_lp_ok); in opt_at()
295 (res == isl_lp_ok && !isl_int_is_neg(opt))) { in isl_qpolynomial_aff_sign()302 if (res == isl_lp_ok && !isl_int_is_pos(opt)) in isl_qpolynomial_aff_sign()376 if (res == isl_lp_ok) { in isl_qpolynomial_sign()
354 if (res == isl_lp_ok) { in isl_set_wrap_facet()366 isl_assert(ctx, res == isl_lp_ok || res == isl_lp_unbounded, in isl_set_wrap_facet()2140 if (res == isl_lp_ok && isl_int_is_neg(opt)) { in is_bound()2149 return (res == isl_lp_ok || res == isl_lp_empty) ? 1 : in is_bound()
2227 if (res == isl_lp_ok) { in box_closure_on_domain()2242 if (res == isl_lp_ok) { in box_closure_on_domain()
3364 enum isl_lp_result res = isl_lp_ok; in isl_tab_min()3416 if (opt && res == isl_lp_ok) { in isl_tab_min()
4279 return res == isl_lp_ok && isl_int_is_nonneg(data->g); in test_ineq_is_satisfied()
9776 else if ((res == isl_lp_ok && isl_int_is_pos(opt)) || in isl_basic_set_compare_at()9779 else if (res == isl_lp_ok && isl_int_is_neg(opt)) in isl_basic_set_compare_at()
19 isl_lp_ok = 0, enumerator