isl_lp.h File Reference

#include <isl_map.h>

Go to the source code of this file.

Enumerations
enum	isl_lp_result { isl_lp_error = -1, isl_lp_ok = 0, isl_lp_unbounded, isl_lp_empty }
Functions
enum isl_lp_result	isl_solve_lp (struct isl_basic_map *bmap, int maximize, isl_int *f, isl_int denom, isl_int *opt, isl_int *opt_denom)

---

Enumeration Type Documentation

enum isl_lp_result

Enumerator:

isl_lp_error
isl_lp_ok
isl_lp_unbounded
isl_lp_empty

Definition at line 6 of file isl_lp.h.

                   {
        isl_lp_error = -1,
        isl_lp_ok = 0,
        isl_lp_unbounded,
        isl_lp_empty
};

---

Function Documentation

enum isl_lp_result isl_solve_lp	(	struct isl_basic_map *	bmap,
		int	maximize,
		isl_int *	f,
		isl_int	denom,
		isl_int *	opt,
		isl_int *	opt_denom
	)

Definition at line 39 of file isl_lp.c.

{
        if (!bmap)
                return isl_lp_error;

        switch (bmap->ctx->lp_solver) {
        case ISL_LP_PIP:
                return isl_pip_solve_lp(bmap, maximize, f, d, opt, opt_denom);
        case ISL_LP_TAB:
                return isl_tab_solve_lp(bmap, maximize, f, d, opt, opt_denom);
        default:
                return isl_lp_error;
        }
}