From 827c88b1f77246eba0feb8a2dc129a4959245e70 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Fri, 24 Aug 2007 20:59:40 +0200
Subject: [PATCH] introduce barvinok_summate as a wrapper for evalue_sum

---
 barvinok.cc         | 5 +++++
 barvinok/barvinok.h | 2 ++
 summate.cc          | 4 ++--
 3 files changed, 9 insertions(+), 2 deletions(-)

diff --git a/barvinok.cc b/barvinok.cc
index 542908a..b9cb318 100644
--- a/barvinok.cc
+++ b/barvinok.cc
@@ -1701,3 +1701,8 @@ evalue* barvinok_enumerate_union(Polyhedron *D, Polyhedron* C, unsigned MaxRays)
     delete gf;
     return EP;
 }
+
+evalue *barvinok_summate(evalue *e, int nvar, struct barvinok_options *options)
+{
+    return evalue_sum(e, nvar, options->MaxRays);
+}
diff --git a/barvinok/barvinok.h b/barvinok/barvinok.h
index c1695f0..626c57c 100644
--- a/barvinok/barvinok.h
+++ b/barvinok/barvinok.h
@@ -33,6 +33,8 @@ evalue *barvinok_enumerate_scarf(Polyhedron *P,
 			  struct barvinok_options *options);
 evalue* barvinok_enumerate_union(Polyhedron *D, Polyhedron* C, unsigned MaxRays);
 
+evalue *barvinok_summate(evalue *e, int nvar, struct barvinok_options *options);
+
 /* private function */
 evalue* bv_ceil3(Value *coef, int len, Value d, Polyhedron *P);
 
diff --git a/summate.cc b/summate.cc
index b72bad9..80947d8 100644
--- a/summate.cc
+++ b/summate.cc
@@ -1,6 +1,6 @@
 #include <assert.h>
 #include <iostream>
-#include <barvinok/evalue.h>
+#include <barvinok/barvinok.h>
 #include <barvinok/options.h>
 #include <barvinok/util.h>
 #include "argp.h"
@@ -277,7 +277,7 @@ int main(int argc, char **argv)
     if (EVALUE_IS_ZERO(*EP))
 	print_evalue(stdout, EP, all_vars);
     else {
-	evalue *sum = evalue_sum(EP, nvar, bv_options->MaxRays);
+	evalue *sum = barvinok_summate(EP, nvar, bv_options);
 	if (options.verify.verify)
 	    result = verify(EP, sum, nvar, nparam, &options.verify);
 	else
-- 
2.11.4.GIT