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

Author: Fabio Bossi bossi@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