From: Sven Verdoolaege <skimo@kotnet.org>
Date: Tue, 9 Apr 2013 14:23:56 +0000 (+0200)
Subject: polysign_isl.c: extract_equalities: use isl_val
X-Git-Tag: barvinok-0.37~45
X-Git-Url: https://repo.or.cz/w/barvinok.git/commitdiff_plain/aa8187c498f2853c13d6521be29eb3cadf22c142

polysign_isl.c: extract_equalities: use isl_val

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
---

diff --git a/polysign_isl.c b/polysign_isl.c
index 6cc443a..e57690d 100644
--- a/polysign_isl.c
+++ b/polysign_isl.c
@@ -1,4 +1,5 @@
 #include <assert.h>
+#include <isl/val_gmp.h>
 #include <isl/lp.h>
 #include <isl_set_polylib.h>
 #include "polysign.h"
@@ -15,7 +16,7 @@ static __isl_give isl_mat *extract_equalities(isl_ctx *ctx, Matrix *M)
 {
 	int i, j;
 	int n;
-	isl_int v;
+	isl_val *v;
 	isl_mat *eq;
 
 	n = 0;
@@ -23,17 +24,15 @@ static __isl_give isl_mat *extract_equalities(isl_ctx *ctx, Matrix *M)
 		if (value_zero_p(M->p[i][0]))
 			++n;
 
-	isl_int_init(v);
 	eq = isl_mat_alloc(ctx, n, M->NbColumns - 1);
 	for (i = 0; i < M->NbRows; ++i) {
 		if (!value_zero_p(M->p[i][0]))
 			continue;
 		for (j = 0; j < M->NbColumns - 1; ++j) {
-			isl_int_set_gmp(v, M->p[i][1 + j]);
-			eq = isl_mat_set_element(eq, i, j, v);
+			v = isl_val_int_from_gmp(ctx, M->p[i][1 + j]);
+			eq = isl_mat_set_element_val(eq, i, j, v);
 		}
 	}
-	isl_int_clear(v);
 
 	return eq;
 }