isl_tab_pip.c: ignore dead columns when checking integrality
[isl.git] / isl_lp_piplib.h
blob2284e0dc935f4a2a4e9edf7241ad6c24718fd831
1 #ifndef ISL_LP_PIPLIB_H
2 #define ISL_LP_PIPLIB_H
4 #include <isl_lp.h>
6 #if defined(__cplusplus)
7 extern "C" {
8 #endif
10 enum isl_lp_result isl_pip_solve_lp(struct isl_basic_map *bmap, int maximize,
11 isl_int *f, isl_int denom, isl_int *opt,
12 isl_int *opt_denom,
13 struct isl_vec **sol);
15 #if defined(__cplusplus)
17 #endif
19 #endif