[PPL-devel] [GIT] ppl/ppl(floating_point): Replaced Integer_Interval_Type with

[Fabio Bossi]

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

Author: Fabio Bossi <bossi at cs.unipr.it>
Date:   Tue Nov 30 16:02:05 2010 +0100

Replaced Integer_Interval_Type with
Integer_Interval in tests.

---

 tests/Concrete_Expression/C_Expr.defs.hh     |    8 ++++----
 tests/Concrete_Expression/C_Expr.inlines.hh  |    4 ++--
 tests/Concrete_Expression/digitalfilters1.cc |    2 +-
 tests/Concrete_Expression/linearize.cc       |    2 +-
 4 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/tests/Concrete_Expression/C_Expr.defs.hh b/tests/Concrete_Expression/C_Expr.defs.hh
index 32104eb..6588586 100644
--- a/tests/Concrete_Expression/C_Expr.defs.hh
+++ b/tests/Concrete_Expression/C_Expr.defs.hh
@@ -184,7 +184,7 @@ class Integer_Constant<C_Expr>
 public:
   //! Constructor from type and value.
   Integer_Constant<C_Expr>(Concrete_Expression_Type type,
-                  const Integer_Interval_Type& val);
+                  const Integer_Interval& val);
 
   //! Do-nothing destructor.
   ~Integer_Constant<C_Expr>();
@@ -196,7 +196,7 @@ public:
   enum { KIND = INT_CON };
 
   //! An interval in which the value of the constant falls.
-  Integer_Interval_Type value;
+  Integer_Interval value;
 };
 
 template <>
@@ -229,7 +229,7 @@ class Approximable_Reference<C_Expr>
 public:
   //! Builds a reference to the entity having the given index.
   Approximable_Reference<C_Expr>(Concrete_Expression_Type type,
-				 const Integer_Interval_Type& val,
+				 const Integer_Interval& val,
                                  dimension_type index);
 
   //! Do-nothing destructor.
@@ -242,7 +242,7 @@ public:
   enum { KIND = APPROX_REF };
 
   //! An interval in which the referenced entity's value falls.
-  Integer_Interval_Type value;
+  Integer_Interval value;
 
   //! The set of possible indexes for the referenced entity.
   std::set<dimension_type> dimensions;
diff --git a/tests/Concrete_Expression/C_Expr.inlines.hh b/tests/Concrete_Expression/C_Expr.inlines.hh
index d12ccd5..78ff5a0 100644
--- a/tests/Concrete_Expression/C_Expr.inlines.hh
+++ b/tests/Concrete_Expression/C_Expr.inlines.hh
@@ -133,7 +133,7 @@ Cast_Operator<C_Expr>::argument() const {
 inline
 Integer_Constant<C_Expr>::
 Integer_Constant(Concrete_Expression_Type type,
-                 const Integer_Interval_Type& val)
+                 const Integer_Interval& val)
   : Concrete_Expression<C_Expr>(type, INT_CON),
     value(val) {
 }
@@ -164,7 +164,7 @@ Floating_Point_Constant<C_Expr>::type() const {
 inline
 Approximable_Reference<C_Expr>::
 Approximable_Reference(Concrete_Expression_Type type,
-		       const Integer_Interval_Type& val,
+		       const Integer_Interval& val,
                        dimension_type index)
   : Concrete_Expression<C_Expr>(type, APPROX_REF),
     value(val),
diff --git a/tests/Concrete_Expression/digitalfilters1.cc b/tests/Concrete_Expression/digitalfilters1.cc
index 1163e2a..2c31ae1 100644
--- a/tests/Concrete_Expression/digitalfilters1.cc
+++ b/tests/Concrete_Expression/digitalfilters1.cc
@@ -72,7 +72,7 @@ using namespace Parma_Polyhedra_Library::IO_Operators;
 Concrete_Expression_Type FP_Type =
   Concrete_Expression_Type::floating_point(ANALYZED_FP_FORMAT);
 
-typedef Integer_Interval_Type Int_Interval;
+typedef Integer_Interval Int_Interval;
 
 /*
 This file tests a rate limiter that, given random input flows of floating
diff --git a/tests/Concrete_Expression/linearize.cc b/tests/Concrete_Expression/linearize.cc
index 26dcf0e..1dc3e14 100644
--- a/tests/Concrete_Expression/linearize.cc
+++ b/tests/Concrete_Expression/linearize.cc
@@ -72,7 +72,7 @@ using namespace Parma_Polyhedra_Library::IO_Operators;
 Concrete_Expression_Type FP_Type =
   Concrete_Expression_Type::floating_point(ANALYZED_FP_FORMAT);
 
-typedef Integer_Interval_Type Int_Interval;
+typedef Integer_Interval Int_Interval;
 
 // Tests division by zero.
 bool