summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
raw | patch | inline | side by side (parent: 48bf5bf)
isl_basic_map_solve_lp: use denominator
authorSven Verdoolaege <skimo@kotnet.org>
Sun, 26 Dec 2010 13:37:00 +0000 (26 14:37 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 6 Jan 2011 19:47:38 +0000 (6 20:47 +0100)
Before, the denominator would simply be ignored and denominator one
was used instead.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_lp.c patch | blob | blame | history

diff --git a/isl_lp.c b/isl_lp.c
index 31fd4c7..932affc 100644 (file)
--- a/isl_lp.c
+++ b/isl_lp.c
@@ -28,7 +28,7 @@ enum isl_lp_result isl_tab_solve_lp(struct isl_basic_map *bmap, int maximize,
 
        bmap = isl_basic_map_gauss(bmap, NULL);
        tab = isl_tab_from_basic_map(bmap);
-       res = isl_tab_min(tab, f, bmap->ctx->one, opt, opt_denom, 0);
+       res = isl_tab_min(tab, f, denom, opt, opt_denom, 0);
        if (res == isl_lp_ok && sol) {
                *sol = isl_tab_get_sample_value(tab);
                if (!*sol)
Integer set library