add isl_qpolynomial_fold_substitute
[isl.git] / isl_lp_piplib.h
blob73dfaddc577bf2d3941aef50b5a43cf448cde7e7
1 /*
2 * Copyright 2008-2009 Katholieke Universiteit Leuven
4 * Use of this software is governed by the GNU LGPLv2.1 license
6 * Written by Sven Verdoolaege, K.U.Leuven, Departement
7 * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
8 */
10 #ifndef ISL_LP_PIPLIB_H
11 #define ISL_LP_PIPLIB_H
13 #include <isl_lp.h>
15 #if defined(__cplusplus)
16 extern "C" {
17 #endif
19 enum isl_lp_result isl_pip_solve_lp(struct isl_basic_map *bmap, int maximize,
20 isl_int *f, isl_int denom, isl_int *opt,
21 isl_int *opt_denom,
22 struct isl_vec **sol);
24 #if defined(__cplusplus)
26 #endif
28 #endif