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

Author: Fabio Bossi bossi@cs.unipr.it Date: Tue Sep 8 11:49:17 2009 +0200

Notify that open intervals should not be allowed.

---

src/Floating_Point_Expression.defs.hh | 3 ++- 1 files changed, 2 insertions(+), 1 deletions(-)

diff --git a/src/Floating_Point_Expression.defs.hh b/src/Floating_Point_Expression.defs.hh index ade7fe8..a3e7b59 100644 --- a/src/Floating_Point_Expression.defs.hh +++ b/src/Floating_Point_Expression.defs.hh @@ -59,7 +59,8 @@ struct IEEE754_Double {

- The class template type parameter \p FP_Interval_Type represents the type of the intervals used in the abstract domain. The interval bounds - should have a floating point type. + should have a floating point type and open intervals should not be + allowed, otherwise the analysis will not be sound. - The class template type parameter \p FP_Format represents the floating point format used in the concrete domain. This parameter must be a struct which contains \f$3\f$ fields: