[PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Added definition for Intero_Interval, Integer_Linear_Form, and Integer_Interval_Abstract_Store.

[Alberto Gioia]

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

Author: Alberto Gioia <alberto.gioia1 at studenti.unipr.it>
Date:   Fri Jun 24 18:00:04 2011 +0200

Added definition for Intero_Interval, Integer_Linear_Form, and Integer_Interval_Abstract_Store.

---

 tests/ppl_test.hh |    7 +++++--
 1 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/tests/ppl_test.hh b/tests/ppl_test.hh
index b28152b..61f171e 100644
--- a/tests/ppl_test.hh
+++ b/tests/ppl_test.hh
@@ -482,11 +482,14 @@ typedef Box<FP_Interval> FP_Interval_Abstract_Store;
 //! The type of a linear form abstract store.
 typedef std::map<dimension_type, FP_Linear_Form>
                                  FP_Linear_Form_Abstract_Store;
+
+typedef Interval<int, Integer_Interval_Info> Intero_Interval;
+
 //! The type of an interval linear form.
-typedef Linear_Form<Integer_Interval> Integer_Linear_Form;
+typedef Linear_Form<Intero_Interval> Integer_Linear_Form;
 
 //! The type of an interval abstract store.
-typedef Box<Integer_Interval> Integer_Interval_Abstract_Store;
+typedef Box<Intero_Interval> Integer_Interval_Abstract_Store;
 
 //! The type of a linear form abstract store.
 typedef std::map<dimension_type, Integer_Linear_Form>