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

Author: Alberto Gioia alberto.gioia1@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>