[PPL-devel] [GIT] ppl/ppl(floating_point): Added missing const qualifiers.

[Fabio Bossi]

Module: ppl/ppl
Branch: floating_point
Commit: 0eb634591ec2041438c8f8d27e001540e4528742
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0eb634591ec2041438c8f8d27e001540e4528742

Author: Fabio Bossi <bossi at cs.unipr.it>
Date:   Sat Sep 26 10:19:13 2009 +0200

Added missing const qualifiers.

---

 src/Octagonal_Shape.inlines.hh |    2 +-
 src/Polyhedron.inlines.hh      |    2 +-
 src/Polyhedron.templates.hh    |    2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/Octagonal_Shape.inlines.hh b/src/Octagonal_Shape.inlines.hh
index 73e4124..0776a7e 100644
--- a/src/Octagonal_Shape.inlines.hh
+++ b/src/Octagonal_Shape.inlines.hh
@@ -618,7 +618,7 @@ inline void
 Octagonal_Shape<T>::generalized_refine_with_linear_form_inequality(
 		    const Linear_Form< Interval<T, Interval_Info> >& left,
 		    const Linear_Form< Interval<T, Interval_Info> >& right,
-                    Relation_Symbol relsym) {
+                    const Relation_Symbol relsym) {
   switch (relsym) {
   case EQUAL:
     refine_with_linear_form_inequality(left, right);
diff --git a/src/Polyhedron.inlines.hh b/src/Polyhedron.inlines.hh
index affc433..8005c95 100644
--- a/src/Polyhedron.inlines.hh
+++ b/src/Polyhedron.inlines.hh
@@ -377,7 +377,7 @@ inline void
 Polyhedron::generalized_refine_with_linear_form_inequality(
 	    const Linear_Form< Interval<FP_Format, Interval_Info> >& left,
 	    const Linear_Form< Interval<FP_Format, Interval_Info> >& right,
-            Relation_Symbol relsym,
+            const Relation_Symbol relsym,
             const Box< Interval<FP_Format, Interval_Info> >& store) {
   switch (relsym) {
   case EQUAL:
diff --git a/src/Polyhedron.templates.hh b/src/Polyhedron.templates.hh
index e12b6fd..d35090b 100644
--- a/src/Polyhedron.templates.hh
+++ b/src/Polyhedron.templates.hh
@@ -301,7 +301,7 @@ Polyhedron::refine_with_linear_form_inequality(
   const Linear_Form< Interval<FP_Format, Interval_Info> >& left,
   const Linear_Form< Interval<FP_Format, Interval_Info> >& right,
   const Box< Interval<FP_Format, Interval_Info> >& store,
-  bool is_strict) {
+  const bool is_strict) {
 
   // Check that FP_Format is indeed a floating point type.
   PPL_COMPILE_TIME_CHECK(!std::numeric_limits<FP_Format>::is_exact,