HomeSort by: relevance | last modified time | path
    Searched defs:lp_res (Results 1 - 3 of 3) sorted by relevancy

  /src/external/mit/isl/dist/
isl_lp.c 222 enum isl_lp_result lp_res; local
231 lp_res = isl_basic_set_solve_lp(bset, max, obj->v->el + 1,
233 if (lp_res == isl_lp_ok)
236 if (lp_res == isl_lp_error)
238 if (lp_res == isl_lp_empty)
isl_ilp.c 501 * if lp_res is isl_lp_ok. "max" is set if a maximum was computed.
503 * Return "v" with denominator set to 1 if lp_res is isl_lp_ok.
505 * Return a NaN if lp_res is isl_lp_empty.
506 * Return infinity or negative infinity if lp_res is isl_lp_unbounded,
509 static __isl_give isl_val *convert_lp_result(enum isl_lp_result lp_res,
514 if (lp_res == isl_lp_ok) {
520 if (lp_res == isl_lp_error)
522 if (lp_res == isl_lp_empty)
543 enum isl_lp_result lp_res; local
552 lp_res = isl_basic_set_opt(bset, max, obj, &res->n)
581 enum isl_lp_result lp_res; local
    [all...]
isl_polynomial.c 4877 enum isl_lp_result lp_res; local
4883 lp_res = isl_set_solve_lp(set, 0, qp->div->row[i] + 1,
4885 if (lp_res == isl_lp_error)
4887 if (lp_res == isl_lp_unbounded || lp_res == isl_lp_empty)
4891 lp_res = isl_set_solve_lp(set, 1, qp->div->row[i] + 1,
4893 if (lp_res == isl_lp_error)
4895 if (lp_res == isl_lp_unbounded || lp_res == isl_lp_empty)

Completed in 31 milliseconds