HomeSort by: relevance | last modified time | path
    Searched refs:isl_lp_ok (Results 1 - 13 of 13) sorted by relevancy

  /src/external/mit/isl/dist/include/isl/
lp.h 19 isl_lp_ok = 0, enumerator in enum:isl_lp_result
  /src/external/mit/isl/dist/
polyhedron_minimize.c 90 case isl_lp_ok:
isl_ilp.c 96 if (res == isl_lp_ok) {
221 if (res == isl_lp_ok && isl_int_is_one(sol->el[0])) {
226 return isl_lp_ok;
289 if (res == isl_lp_ok && sol_p) {
447 if (res == isl_lp_ok)
465 return empty ? isl_lp_empty : isl_lp_ok;
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.
514 if (lp_res == isl_lp_ok) {
basis_reduction_tab.c 209 if (res != isl_lp_ok)
229 if (res != isl_lp_ok)
isl_lp.c 41 if (res == isl_lp_ok && sol) {
233 if (lp_res == isl_lp_ok)
isl_sample.c 307 if (res != isl_lp_ok)
314 if (res != isl_lp_ok)
443 if (res != isl_lp_ok)
452 if (res != isl_lp_ok)
pip.c 219 assert(res == isl_lp_ok);
isl_fold.c 490 (res == isl_lp_ok && !isl_int_is_neg(opt))) {
497 if (res == isl_lp_ok && !isl_int_is_pos(opt))
571 if (res == isl_lp_ok) {
isl_convex_hull.c 354 if (res == isl_lp_ok) {
366 isl_assert(ctx, res == isl_lp_ok || res == isl_lp_unbounded,
2140 if (res == isl_lp_ok && isl_int_is_neg(opt)) {
2149 return (res == isl_lp_ok || res == isl_lp_empty) ? 1 :
isl_transitive_closure.c 2227 if (res == isl_lp_ok) {
2242 if (res == isl_lp_ok) {
isl_tab.c 3353 enum isl_lp_result res = isl_lp_ok;
3405 if (opt && res == isl_lp_ok) {
isl_map_simplify.c 4282 return res == isl_lp_ok && isl_int_is_nonneg(data->g);
isl_map.c 10030 else if ((res == isl_lp_ok && isl_int_is_pos(opt)) ||
10033 else if (res == isl_lp_ok && isl_int_is_neg(opt))

Completed in 139 milliseconds