isl_basic_map_gist: prefer contraints without existentially quantified variables
[platform/upstream/isl.git] / isl_lp_no_piplib.c
1 /*
2  * Copyright 2008-2009 Katholieke Universiteit Leuven
3  *
4  * Use of this software is governed by the GNU LGPLv2.1 license
5  *
6  * Written by Sven Verdoolaege, K.U.Leuven, Departement
7  * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
8  */
9
10 #include "isl_lp_piplib.h"
11
12 enum isl_lp_result isl_pip_solve_lp(struct isl_basic_map *bmap, int maximize,
13                                       isl_int *f, isl_int denom, isl_int *opt,
14                                       isl_int *opt_denom,
15                                       struct isl_vec **sol)
16 {
17         return isl_lp_error;
18 }