From 2babda6d0cbfd2966d49e9e835480553c35b9b62 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Fri, 16 Mar 2007 10:00:29 +0100
Subject: [PATCH] evalue.c: make some evalue arguments const

---
 barvinok/evalue.h | 4 ++--
 evalue.c          | 8 ++++----
 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/barvinok/evalue.h b/barvinok/evalue.h
index 405b743..5aac0da 100644
--- a/barvinok/evalue.h
+++ b/barvinok/evalue.h
@@ -79,7 +79,7 @@ enode *new_enode(enode_type type,int size,int pos);
 enode *ecopy(enode *e);
 int eequal(const evalue *e1, const evalue *e2);
 void free_evalue_refs(evalue *e);
-void print_evalue(FILE *DST,evalue *e,char **pname);
+void print_evalue(FILE *DST, const evalue *e, char **pname);
 void print_enode(FILE *DST,enode *p,char **pname);
 void reduce_evalue (evalue *e);
 void reduce_evalue_in_domain(evalue *e, Polyhedron *D);
@@ -91,7 +91,7 @@ void eadd(const evalue *e1, evalue *res);
 void emul (evalue *e1, evalue *res );
 void emask(evalue *mask, evalue *res);
 int in_domain(Polyhedron *P, Value *list_args);
-double compute_evalue(evalue *e,Value *list_args);
+double compute_evalue(const evalue *e, Value *list_args);
 Value *compute_poly(Enumeration *en,Value *list_args);
 void evalue_mod2table(evalue *ev, int nparam);
 void evalue_mod2relation(evalue *e);
diff --git a/evalue.c b/evalue.c
index 9995162..d9129fc 100644
--- a/evalue.c
+++ b/evalue.c
@@ -949,8 +949,8 @@ void reduce_evalue (evalue *e) {
 	free(s.fixed);
 }
 
-void print_evalue(FILE *DST,evalue *e,char **pname) {
-  
+void print_evalue(FILE *DST, const evalue *e, char **pname)
+{
   if(value_notzero_p(e->d)) {    
     if(value_notone_p(e->d)) {
       value_print(DST,VALUE_FMT,e->x.n);
@@ -2288,8 +2288,8 @@ static double compute_enode(enode *p, Value *list_args) {
 /* might not be integral                         */
 /*************************************************/
 
-double compute_evalue(evalue *e,Value *list_args) {
-  
+double compute_evalue(const evalue *e, Value *list_args)
+{
   double res;
   
   if (value_notzero_p(e->d)) {
-- 
2.11.4.GIT